Logic and Implication
|
|
- Jared Ford
- 5 years ago
- Views:
Transcription
1 Logic and Implication Carles Noguera (Joint work with Petr Cintula and Tomáš Lávička) Institute of Information Theory and Automation Czech Academy of Sciences Congreso Dr. Antonio Monteiro Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 1 / 36
2 Introduction Logic is the study of correct reasoning. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 2 / 36
3 Introduction Logic is the study of correct reasoning. There are many different forms of correct reasoning. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 2 / 36
4 Introduction Logic is the study of correct reasoning. There are many different forms of correct reasoning. Hence, there are many logics (logical pluralism). Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 2 / 36
5 Introduction Logic is the study of correct reasoning. There are many different forms of correct reasoning. Hence, there are many logics (logical pluralism). Algebraic logic studies propositional logics by means of their algebraic and matricial semantics. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 2 / 36
6 Introduction Logic is the study of correct reasoning. There are many different forms of correct reasoning. Hence, there are many logics (logical pluralism). Algebraic logic studies propositional logics by means of their algebraic and matricial semantics. Abstract algebraic logic (AAL) has developed a general and abstract theory of the relation between logics and their algebraic (matricial) semantics. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 2 / 36
7 Introduction Logic is the study of correct reasoning. There are many different forms of correct reasoning. Hence, there are many logics (logical pluralism). Algebraic logic studies propositional logics by means of their algebraic and matricial semantics. Abstract algebraic logic (AAL) has developed a general and abstract theory of the relation between logics and their algebraic (matricial) semantics. AAL describes the role of connectives in (non-)classical logics. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 2 / 36
8 Introduction Logic is the study of correct reasoning. There are many different forms of correct reasoning. Hence, there are many logics (logical pluralism). Algebraic logic studies propositional logics by means of their algebraic and matricial semantics. Abstract algebraic logic (AAL) has developed a general and abstract theory of the relation between logics and their algebraic (matricial) semantics. AAL describes the role of connectives in (non-)classical logics. Protoalgebraic logics and their subclasses are based on a general notion of equivalence. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 2 / 36
9 Introduction Logic is the study of correct reasoning. There are many different forms of correct reasoning. Hence, there are many logics (logical pluralism). Algebraic logic studies propositional logics by means of their algebraic and matricial semantics. Abstract algebraic logic (AAL) has developed a general and abstract theory of the relation between logics and their algebraic (matricial) semantics. AAL describes the role of connectives in (non-)classical logics. Protoalgebraic logics and their subclasses are based on a general notion of equivalence. Implication has a crucial role in reasoning (entailment, consequence, preservation of truth,...) Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 2 / 36
10 Introduction Logic is the study of correct reasoning. There are many different forms of correct reasoning. Hence, there are many logics (logical pluralism). Algebraic logic studies propositional logics by means of their algebraic and matricial semantics. Abstract algebraic logic (AAL) has developed a general and abstract theory of the relation between logics and their algebraic (matricial) semantics. AAL describes the role of connectives in (non-)classical logics. Protoalgebraic logics and their subclasses are based on a general notion of equivalence. Implication has a crucial role in reasoning (entailment, consequence, preservation of truth,...) We will now present an AAL theory based on implication. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 2 / 36
11 Two examples of non-classical logics [0, 1] Ł : the standard MV-matrix with domain [0, 1], filter {1} and operations x y = min{1, 1 x + y} x & y = max{0, x + y 1} x y = max{x, y} x =1 x Ł: the logic axiomatized by modus ponens and 4 (5) Łukasiewicz axioms Fact: the equivalence Γ Ł ϕ iff Γ = [0,1]Ł ϕ holds for finite Γs only Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 3 / 36
12 Two examples of non-classical logics [0, 1] Ł : the standard MV-matrix with domain [0, 1], filter {1} and operations x y = min{1, 1 x + y} x & y = max{0, x + y 1} x y = max{x, y} x =1 x Ł: the logic axiomatized by modus ponens and 4 (5) Łukasiewicz axioms Fact: the equivalence Γ Ł ϕ iff Γ = [0,1]Ł ϕ holds for finite Γs only Theorem Let Ł be the extension of Ł by the rule { ϕ ϕ&. n.. &ϕ n 1} ϕ Then Γ Ł ϕ iff Γ = [0,1]Ł ϕ holds for all Γs. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 3 / 36
13 Outline 1 (In)finitary logics 2 Disjunctions 3 Implications 4 Disjunctions and implications 5 Completeness properties Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 4 / 36
14 What is a logic? Var: an infinite countable set of propositional variables L: a countable type Fm L : the absolutely free L-algebra with generators Var elements of Fm L are called L-formulas A logic L is a relation between sets of L-formulas and L-formulas s.t.: we write Γ L ϕ instead of Γ, ϕ L If ϕ Γ, then Γ L ϕ. If Γ L ϕ and Γ, then L ϕ. If L Γ and Γ L ϕ, then L ϕ. If Γ L ϕ, then σ[γ] L σ(ϕ) for each substitution σ. (Reflexivity) (Monotonicity) (Cut) (Structurality) A logic L is finitary if Γ L ϕ, then there is a finite Γ Γ s.t. Γ L ϕ Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 5 / 36
15 Axiomatization Axiomatic system AS: set of axioms and rules closed under substitutions Proof of ϕ from Γ in AS: a well-founded tree labeled by formulas s.t. its root is labeled by ϕ and leaves by axioms or elements of Γ and if a node is labeled by ψ and is the set of labels of its preceding nodes, then ψ is a rule. AS is a presentation of L whenever Γ L ϕ iff there is a proof of ϕ from Γ in AS. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 6 / 36
16 Axiomatization Axiomatic system AS: set of axioms and rules closed under substitutions Proof of ϕ from Γ in AS: a well-founded tree labeled by formulas s.t. its root is labeled by ϕ and leaves by axioms or elements of Γ and if a node is labeled by ψ and is the set of labels of its preceding nodes, then ψ is a rule. AS is a presentation of L whenever Γ L ϕ iff there is a proof of ϕ from Γ in AS. Fact: Each (finitary) logic has a (countable) presentation Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 6 / 36
17 Axiomatization Axiomatic system AS: set of axioms and rules closed under substitutions Proof of ϕ from Γ in AS: a well-founded tree labeled by formulas s.t. its root is labeled by ϕ and leaves by axioms or elements of Γ and if a node is labeled by ψ and is the set of labels of its preceding nodes, then ψ is a rule. AS is a presentation of L whenever Γ L ϕ iff there is a proof of ϕ from Γ in AS. Fact: Each (finitary) logic has a (countable) presentation L is countably axiomatizable if it has a countable presentation Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 6 / 36
18 Axiomatization Axiomatic system AS: set of axioms and rules closed under substitutions Proof of ϕ from Γ in AS: a well-founded tree labeled by formulas s.t. its root is labeled by ϕ and leaves by axioms or elements of Γ and if a node is labeled by ψ and is the set of labels of its preceding nodes, then ψ is a rule. AS is a presentation of L whenever Γ L ϕ iff there is a proof of ϕ from Γ in AS. Fact: Each (finitary) logic has a (countable) presentation L is countably axiomatizable if it has a countable presentation Ł is countably axiomatizable but not finitary Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 6 / 36
19 Logical matrices and semantical consequence L-matrix: a pair A = A, F where A is an L-algebra and F A called the filter of A Definition (Semantical consequence) A formula ϕ is a semantical consequence of a set Γ of formulas w.r.t. a class K of L-matrices, Γ = K ϕ in symbols, if for each A, F K and each A-evaluation e, we have: e(ϕ) F whenever e[γ] F. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 7 / 36
20 Filters, theories, models of a logic Let L be a logic in L and A an L-algebra A set T Fm L is a theory if for each ϕ Fm L we have T L ϕ implies ϕ T we write T Th(L) A set F A is a filter if for each Γ {ϕ} Fm L we have Γ L ϕ implies Γ = A,F ϕ we write F Fi L (A) Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 8 / 36
21 Filters, theories, models of a logic Let L be a logic in L and A an L-algebra A set T Fm L is a theory if for each ϕ Fm L we have T L ϕ implies ϕ T we write T Th(L) A set F A is a filter if for each Γ {ϕ} Fm L we have Γ L ϕ implies Γ = A,F ϕ we write F Fi L (A) Fact 1: Fi L (A) is a closure system Fact 2: Fi L (Fm L ) = Th(L) Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 8 / 36
22 Filters, theories, models of a logic Let L be a logic in L and A an L-algebra A set T Fm L is a theory if for each ϕ Fm L we have T L ϕ implies ϕ T we write T Th(L) A set F A is a filter if for each Γ {ϕ} Fm L we have Γ L ϕ implies Γ = A,F ϕ we write F Fi L (A) Fact 1: Fi L (A) is a closure system Fact 2: Fi L (Fm L ) = Th(L) L-matrix: a matrix A, F, where F Fi L (A) MOD(L) 1st completeness theorem: Γ L ϕ iff Γ = MOD(L) ϕ Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 8 / 36
23 Leibniz congruence and reduced models A congruence θ of A is logical in a matrix A, F if for each a, b A: if a F and a, b θ, then b F. Definition Let A = A, F be an L-matrix. By Ω A (F) we denote the largest logical congruence on A and we call it Leibniz congruence of A. Definition A matrix A, F is reduced, if Ω A (F) = Id A. For a logic L, by MOD (L) we denote the class of reduced L-matrices. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 9 / 36
24 Leibniz congruence and reduced models A congruence θ of A is logical in a matrix A, F if for each a, b A: if a F and a, b θ, then b F. Definition Let A = A, F be an L-matrix. By Ω A (F) we denote the largest logical congruence on A and we call it Leibniz congruence of A. Definition A matrix A, F is reduced, if Ω A (F) = Id A. For a logic L, by MOD (L) we denote the class of reduced L-matrices. 2nd completeness theorem: Γ L ϕ iff Γ = MOD (L) ϕ Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 9 / 36
25 Bases and -prime elements in closure systems Let C be a closure system over A. X C is -prime if for each Y, Z C: if X = Y Z, then X = Y or X = Z. X C is completely -prime if for each set Y C: if X = Y Y Y, then X = Y for some Y Y. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 10 / 36
26 Bases and -prime elements in closure systems Let C be a closure system over A. X C is -prime if for each Y, Z C: if X = Y Z, then X = Y or X = Z. X C is completely -prime if for each set Y C: if X = Y Y Y, then X = Y for some Y Y. B C is a basis of C if for every Y C and a A \ Y there is Z B such that Y Z and a Z. Lemma (Lindenbaum Lemma) If L is finitary, then completely -prime theories form a basis of Th(L). Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 10 / 36
27 RSI and RFSI reduced models A matrix A K is (finitely) subdirectly irreducible relative to K, A K R(F)SI in symbols, if for every (finite non-empty) subdirect representation A with a family {A i i I} K there is i I such that π i is an isomorphism. Theorem Given any logic L and A = A, F MOD (L), we have: 1 A MOD (L) RSI iff F is completely -prime in Fi L (A). 2 A MOD (L) RFSI iff F is -prime in Fi L (A). Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 11 / 36
28 RSI and RFSI reduced models A matrix A K is (finitely) subdirectly irreducible relative to K, A K R(F)SI in symbols, if for every (finite non-empty) subdirect representation A with a family {A i i I} K there is i I such that π i is an isomorphism. Theorem Given any logic L and A = A, F MOD (L), we have: 1 A MOD (L) RSI iff F is completely -prime in Fi L (A). 2 A MOD (L) RFSI iff F is -prime in Fi L (A). 3rd compl. theorem (for finitary logics): Γ L ϕ iff Γ = MOD (L) RSI ϕ Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 11 / 36
29 Classes of infinitary logics A logic L has the CIPEP (completely -prime extension property) if completely -prime theories form a basis of Th(L) IPEP ( -prime ext. property) if -prime theories form a basis of Th(L) Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 12 / 36
30 Classes of infinitary logics A logic L has the CIPEP (completely -prime extension property) if completely -prime theories form a basis of Th(L) IPEP ( -prime ext. property) if -prime theories form a basis of Th(L) A logic L is RSI-complete if L = = MOD (L) RSI RFSI-complete if L = = MOD (L) RFSI Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 12 / 36
31 Classes of infinitary logics A logic L has the CIPEP (completely -prime extension property) if completely -prime theories form a basis of Th(L) IPEP ( -prime ext. property) if -prime theories form a basis of Th(L) A logic L is RSI-complete if L = = MOD (L) RSI RFSI-complete if L = = MOD (L) RFSI Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 12 / 36
32 Outline 1 (In)finitary logics 2 Disjunctions 3 Implications 4 Disjunctions and implications 5 Completeness properties Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 13 / 36
33 Definition and useful conventions Let (p, q, r ) be a set of formulas. We write ϕ ψ = {δ(ϕ, ψ, α) δ(p, q, s) and α Fm L } Σ 1 Σ 2 = {ϕ ψ ϕ Σ 1, ψ Σ 2 } Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 14 / 36
34 Three kinds of disjunctions A (parameterized) set of formulas is (p-)protodisjunction if (PD) ϕ ϕ ψ and ψ ϕ ψ A (p-)protodisjunction is a weak (p-)disjunction if it satisfies: wpcp ϕ L χ and ψ L χ implies ϕ ψ L χ (p-)disjunction if it satisfies: PCP Γ, ϕ L χ and Γ, ψ L χ implies Γ, ϕ ψ L χ strong (p-)disjunction if it satisfies: spcp Γ, Σ L χ and Γ, Π L χ implies Γ, Σ Π L χ Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 15 / 36
35 The disjunctional hierarchy of logics Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 16 / 36
36 Characterizations Theorem Let L be a logic with a presentation AS and a p-protodisjunction s.t. ψ ϕ L ϕ ψ ϕ ϕ L ϕ. Then is a strong p-disjunction iff for each χ and each Γ ϕ AS: Γ χ L ϕ χ. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 17 / 36
37 Characterizations Theorem Let L be a logic with a presentation AS and a p-protodisjunction s.t. ψ ϕ L ϕ ψ ϕ ϕ L ϕ. Then is a strong p-disjunction iff for each χ and each Γ ϕ AS: Γ χ L ϕ χ. We can show that ϕ χ, (ϕ ψ) χ Ł ψ χ Thus is a (strong) disjunction in Ł and so ϕ ϕ n Ł (ϕ χ) (ϕ χ) n χ Ł (ϕ χ) (ϕ χ) n ( ϕ ϕ n ) χ Ł (ϕ χ) (ϕ χ) n Then {( ϕ ϕ n ) χ n 0} Ł ϕ χ Thus is a strong disjunction in Ł Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 17 / 36
38 Characterizations -prime filter in A: if ϕ A ψ F, then ϕ F or ψ F Theorem Let L be a logic with a p-protodisjunction. TFAE: L has the IPEP and (strong) is a p-disjunction. L has the IPEP and -prime and -prime theories coincide. L has the PEP, i.e., -prime filters form a basis of Th(L). Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 18 / 36
39 Infinitary Lindenbaum Lemma Theorem (Infinitary Lindenbaum Lemma) Let L be a countably axiomatizable strongly disjunctional logic. Then L has the (I)PEP, i.e, / -prime theories form a basis of Th(L). Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 19 / 36
40 Infinitary Lindenbaum Lemma Theorem (Infinitary Lindenbaum Lemma) Let L be a countably axiomatizable strongly disjunctional logic. Then L has the (I)PEP, i.e, / -prime theories form a basis of Th(L). Thus Ł has the IPEP Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 19 / 36
41 Outline 1 (In)finitary logics 2 Disjunctions 3 Implications 4 Disjunctions and implications 5 Completeness properties Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 20 / 36
42 What is an implication? Let r be a sequence of atoms and (p, q, r ) a set of formulas. Given formulas ϕ and ψ, we set ϕ ψ = {δ(ϕ, ψ, α) δ(p, q, s) and α Fm L } Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 21 / 36
43 What is an implication? Let r be a sequence of atoms and (p, q, r ) a set of formulas. Given formulas ϕ and ψ, we set ϕ ψ = {δ(ϕ, ψ, α) δ(p, q, s) and α Fm L } A set (p, q, r ) Fm L is a weak p-implication in a logic L if: (R) L ϕ ϕ (T) ϕ ψ, ψ χ L ϕ χ (MP) ϕ, ϕ ψ L ψ (scng) ϕ ψ, ψ ϕ L c(χ 1,..., ϕ,..., χ n ) c(χ 1,..., ψ,..., χ n ) for each c, n L and i n. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 21 / 36
44 What is an implication? Let r be a sequence of atoms and (p, q, r ) a set of formulas. Given formulas ϕ and ψ, we set ϕ ψ = {δ(ϕ, ψ, α) δ(p, q, s) and α Fm L } A set (p, q, r ) Fm L is a weak p-implication in a logic L if: (R) L ϕ ϕ (T) ϕ ψ, ψ χ L ϕ χ (MP) ϕ, ϕ ψ L ψ (scng) ϕ ψ, ψ ϕ L c(χ 1,..., ϕ,..., χ n ) c(χ 1,..., ψ,..., χ n ) for each c, n L and i n. is a weak implication in Ł Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 21 / 36
45 Implicational hierarchy Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 22 / 36
46 Order in matrices and reduced matrices Let be a weak p-implication in L and A = A, F MOD(L) Fact 1: The relation a A b is a preorder: a A b iff a A b F Fact 2: A MOD (L) iff A is an order Definition: F and A are -linear, A MOD l (L), if A is linear Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 23 / 36
47 What is a semilinear implication? Definition Let L be a logic and one of its weak p-implications. We say that is semilinear if L = = MOD l (L). L is a semilinear logic if it has a semilinear implication. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 24 / 36
48 A general characterization of semilinear logics Theorem Let L be a logic and a weak p-implication. TFAE: 1. is semilinear in L, i.e. L = = MOD l (L). 2. L has the LEP w.r.t., i.e. -linear theories are a basis of Th(L). 3. L is RFSI-complete and any of the following conditions hold: 3a. L has the SLP w.r.t., i.e., for each Γ {ϕ, ψ, χ} Fm L : Γ, ϕ ψ L χ Γ, ψ ϕ L χ Γ L χ 3b. L has the transferred SLP w.r.t., 3c. -linear filters coincide with -prime filters in each L-algebra, 3d. MOD (L) RFSI = MOD l (L). 4. L has the IPEP and -linear theories coincide with -prime ones. 5. L is RSI-complete and MOD (L) RSI MOD l (L). Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 25 / 36
49 Ł is semilinear We can easily prove that: Ł (ϕ ψ) (ψ ϕ) We have shown that is a disjunction in Ł Thus from Γ, ϕ ψ Ł χ and Γ, ψ ϕ Ł χ we get Γ Ł χ We also know that Ł has IPEP and so it is RFSI-complete Thus Ł is semilinear and MOD (Ł ) RFSI = MOD l (Ł ) Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 26 / 36
50 Outline 1 (In)finitary logics 2 Disjunctions 3 Implications 4 Disjunctions and implications 5 Completeness properties Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 27 / 36
51 Interplay with disjunction Proposition Let L be a logic with a weak p-implication and p-protodisjunction. If enjoys the SLP, then it holds: (P ) L (ϕ ψ) (ψ ϕ). If is a p-disjunction, then it holds: (MP ) ϕ ψ, ϕ ψ L ψ and ϕ ψ, ψ ϕ L ψ. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 28 / 36
52 Interplay with disjunction Proposition Let L be a logic with a weak p-implication and p-protodisjunction. If enjoys the SLP, then it holds: (P ) L (ϕ ψ) (ψ ϕ). If is a p-disjunction, then it holds: (MP ) ϕ ψ, ϕ ψ L ψ and ϕ ψ, ψ ϕ L ψ. If L satisfies (P ), then each -prime filter in A is -linear. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 28 / 36
53 Interplay with disjunction Proposition Let L be a logic with a weak p-implication and p-protodisjunction. If enjoys the SLP, then it holds: (P ) L (ϕ ψ) (ψ ϕ). If is a p-disjunction, then it holds: (MP ) ϕ ψ, ϕ ψ L ψ and ϕ ψ, ψ ϕ L ψ. If L satisfies (P ), then each -prime filter in A is -linear. If L satisfies (MP ), then each -linear filter in A is -prime. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 28 / 36
54 Disjunction-based characterization of semilinear logics Theorem Let L be a a p-protodisjunction. TFAE: logic with a weak p-implication and 1. L satisfies (MP ) and is semilinear in L 2. L satisfies (P ) and has the PEP w.r.t. 3. L satisfies (P ), has the IPEP and is p-disjunction in L. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 29 / 36
55 Disjunction-based characterization of semilinear logics Theorem Let L be a countably axiomatizable logic with a weak p-implication and a p-protodisjunction. TFAE: 1. L satisfies (MP ) and is semilinear in L 2. L satisfies (P ) and has the PEP w.r.t. 3. L satisfies (P ) and is strong p-disjunction in L. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 29 / 36
56 Disjunction-based characterization of semilinear logics Theorem Let L be a countably axiomatizable logic with a weak p-implication and a p-protodisjunction. TFAE: 1. L satisfies (MP ) and is semilinear in L 2. L satisfies (P ) and has the PEP w.r.t. 3. L satisfies (P ) and is strong p-disjunction in L 4. L has a countable presentation AS such that: L (ϕ ψ) (ψ ϕ) ψ ϕ L ϕ ψ ϕ ϕ L ϕ. and each Γ ϕ AS: Γ χ L ϕ χ. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 29 / 36
57 Outline 1 (In)finitary logics 2 Disjunctions 3 Implications 4 Disjunctions and implications 5 Completeness properties Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 30 / 36
58 Three kinds of K-completeness and the first theorem Definition Let L be a logic and K MOD (L). We say that L has the property of: Strong K-completeness, SKC for short, when for every set of formulas Γ {ϕ}: Γ L ϕ iff Γ = K ϕ i.e., L = = K Finite strong K-completeness, FSKC for short, when for every finite set of formulas Γ {ϕ}: Γ L ϕ iff Γ = K ϕ i.e., F C( L ) = F C( = K ) K-completeness, KC for short, when for every formula ϕ: L ϕ iff = K ϕ Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 31 / 36
59 Three kinds of K-completeness and the first theorem Definition Let L be a logic and K MOD (L). We say that L has the property of: Strong K-completeness, SKC for short, when for every set of formulas Γ {ϕ}: Γ L ϕ iff Γ = K ϕ i.e., L = = K Finite strong K-completeness, FSKC for short, when for every finite set of formulas Γ {ϕ}: Γ L ϕ iff Γ = K ϕ i.e., F C( L ) = F C( = K ) K-completeness, KC for short, when for every formula ϕ: L ϕ iff = K ϕ Example 1: Ł separates SKC and FSKC Example 2: any non structurally complete logic separates FSKC and KC Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 31 / 36
60 Class operators Slogan: Matrices can be regarded as first-order structures A homomorphism f : A, F B, G : a morphism of algebras s.t. f [F] G S(K): the class of all submatrices of elements of K S (K) = { A, F /Ω A (F) A, F S(K)} I(K): the class of all isomorphic images of elements of K H(K): the class of all homomorphic images of elements of K P(K): the class of all products of elements of K P U (K): the class of all ultraproducts of elements of K P σ-f (K): the class of reduced products of K using filters closed under countable intersections Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 32 / 36
61 General characterization Theorem Let L be a logic and K MOD (L). Then: 1 L has the FSKC if, and only if, MOD (L) IS PP U (K). 2 L has the SKC if, and only if, MOD (L) IS P σ-f (K). Corollary Let L be a protoalgebraic logic and K MOD (L). Then: 1 L has the KC if, and only if, H(MOD (L)) = HS P(K). 2 If L is finitary then it has a finite p-implication and has the FSKC if, and only if, MOD (L) = IS PP U (K). 3 L has the SKC if, and only if, MOD (L) = IS P σ-f (K). Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 33 / 36
62 Characterization using RFSI-matrices Theorem Let L be an RFSI-complete logic and K MOD (L). Then: 1 If MOD (L) RFSI HSP U (K), then L has the KC. 2 If MOD (L) RFSI IS P U (K), then L has the FSKC. If L is p-disjunctional or finitary protoalgebraic, then the reverse implications also hold. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 34 / 36
63 Characterization using RFSI-matrices Let us denote by K σ the class of countable elements of K Theorem Let L be an RSI-complete logic and K MOD (L). Then: If MOD (L) σ RSI IS (K), then L has the SKC If L is protoalgebraic, then the reverse implication also holds. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 34 / 36
64 Characterization using RFSI-matrices Let us denote by K σ the class of countable elements of K Theorem Let L be an RFSI-complete logic and K MOD (L). Then: If MOD (L) σ RFSI IS (K + ), then L has the SKC If L is finitary protoalgebraic logic with a lattice disjunction, then the reverse implication also holds. A p-disjunction = {p q} is lattice disjunction in a protoalgebraic logic L ( 1) L ϕ ϕ ψ with a weak p-implication if: ( 2) L ψ ϕ ψ ( 3) ϕ χ, ψ χ L ϕ ψ χ Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 34 / 36
65 Back to our motivating example Theorem Ł has the S[0, 1] Ł C. As Ł has the IPEP, it is RFSI-complete and so we only need to show: MOD (Ł ) σ RFSI IS ([0, 1] Ł ) = IS([0, 1] Ł ) We know that MOD (Ł ) σ RFSI = MODl (Ł ) σ Fact: If A MOD l (Ł ) σ, then A is simple Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 35 / 36
66 Back to our motivating example Theorem Ł has the S[0, 1] Ł C. As Ł has the IPEP, it is RFSI-complete and so we only need to show: MOD (Ł ) σ RFSI IS ([0, 1] Ł ) = IS([0, 1] Ł ) We know that MOD (Ł ) σ RFSI = MODl (Ł ) σ Fact: If A MOD l (Ł ) σ, then A is simple Proof of the fact: we know that if x x&. n.. &x for each n, then x = 1 Take x < 1, then x > x&. n.. &x for some n and so 0 = x & x x& n+1... &x Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 35 / 36
67 Back to our motivating example Theorem Ł has the S[0, 1] Ł C. As Ł has the IPEP, it is RFSI-complete and so we only need to show: MOD (Ł ) σ RFSI IS ([0, 1] Ł ) = IS([0, 1] Ł ) We know that MOD (Ł ) σ RFSI = MODl (Ł ) σ Fact: If A MOD l (Ł ) σ, then A is simple Algebraic fact: simple MV-chains are embeddable into [0, 1] Ł Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 35 / 36
68 References Petr Cintula, C.N. Implicational (Semilinear) Logics I: A New Hierarchy. Archive for Mathematical Logic 49: , Petr Cintula, C.N. Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity. Archive for Mathematical Logic 55: , Petr Cintula, C.N. Implicational (Semilinear) Logics III: Completeness properties. Submitted to Archive for Mathematical Logic Petr Cintula, C.N. The Proof by Cases Property and its Variants in Structural Consequence Relations. Studia Logica 101: , 2013 T. Lávička, C.N. A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic. Studia Logica 105(3): , M. Bílková, Petr Cintula, T. Lávička. Lindenbaum Lemma for Infinitary Logics. A draft. Carles Noguera (UTIA CAS) Logic and Implication Congreso Dr. Antonio Monteiro 36 / 36
The quest for the basic fuzzy logic
Petr Cintula 1 Rostislav Horčík 1 Carles Noguera 1,2 1 Institute of Computer Science, Academy of Sciences of the Czech Republic Pod vodárenskou věží 2, 182 07 Prague, Czech Republic 2 Institute of Information
More informationA Gentle Introduction to Mathematical Fuzzy Logic
A Gentle Introduction to Mathematical Fuzzy Logic 6. Further lines of research and open problems Petr Cintula 1 and Carles Noguera 2 1 Institute of Computer Science, Czech Academy of Sciences, Prague,
More informationAdding truth-constants to logics of continuous t-norms: axiomatization and completeness results
Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results Francesc Esteva, Lluís Godo, Carles Noguera Institut d Investigació en Intel ligència Artificial - CSIC Catalonia,
More informationACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes)
ACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes) Steve Vickers CS Theory Group Birmingham 2. Theories and models Categorical approach to many-sorted
More informationLogics preserving degrees of truth and the hierarchies of abstract algebraic logic
Logics preserving degrees of truth and the hierarchies of abstract algebraic logic Josep Maria Font Department of Probability, Logic and Statistics Faculty of Mathematics University of Barcelona XV Simposio
More informationThe model companion of the class of pseudo-complemented semilattices is finitely axiomatizable
The model companion of the class of pseudo-complemented semilattices is finitely axiomatizable (joint work with Regula Rupp and Jürg Schmid) Joel Adler joel.adler@phbern.ch Institut S1 Pädagogische Hochschule
More informationForcing in Lukasiewicz logic
Forcing in Lukasiewicz logic a joint work with Antonio Di Nola and George Georgescu Luca Spada lspada@unisa.it Department of Mathematics University of Salerno 3 rd MATHLOGAPS Workshop Aussois, 24 th 30
More informationOn the set of intermediate logics between the truth and degree preserving Lukasiewicz logics
On the set of intermediate logics between the truth and degree preserving Lukasiewicz logics Marcelo Coniglio 1 Francesc Esteva 2 Lluís Godo 2 1 CLE and Department of Philosophy State University of Campinas
More informationLOGICS OF VARIETIES, LOGICS OF SEMILATTICES, AND CONJUNCTION
LOGICS OF VARIETIES, LOGICS OF SEMILATTICES, AND CONJUNCTION JOSEP MARIA FONT AND TOMMASO MORASCHINI Abstract. This paper starts with a general analysis of the problem of how to associate a logic with
More informationChapter I: Introduction to Mathematical Fuzzy Logic
Chapter I: Introduction to Mathematical Fuzzy Logic LIBOR BĚHOUNEK, PETR CINTULA, AND PETR HÁJEK This chapter provides an introduction to the field of mathematical fuzzy logic, giving an overview of its
More informationMonadic GMV -algebras
Department of Algebra and Geometry Faculty of Sciences Palacký University of Olomouc Czech Republic TANCL 07, Oxford 2007 monadic structures = algebras with quantifiers = algebraic models for one-variable
More informationA STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS
A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS TOMMASO MORASCHINI Abstract. Abstract algebraic logic is a theory that provides general tools for the algebraic study of arbitrary propositional logics.
More informationA Survey of Abstract Algebraic Logic
J. M. Font R. Jansana D. Pigozzi A Survey of Abstract Algebraic Logic Contents Introduction 14 1. The First Steps 16 1.1. Consequence operations and logics................ 17 1.2. Logical matrices..........................
More informationKazimierz SWIRYDOWICZ UPPER PART OF THE LATTICE OF EXTENSIONS OF THE POSITIVE RELEVANT LOGIC R +
REPORTS ON MATHEMATICAL LOGIC 40 (2006), 3 13 Kazimierz SWIRYDOWICZ UPPER PART OF THE LATTICE OF EXTENSIONS OF THE POSITIVE RELEVANT LOGIC R + A b s t r a c t. In this paper it is proved that the interval
More informationON THE LOGIC OF DISTRIBUTIVE LATTICES
Bulletin of the Section of Logic Volume 18/2 (1989), pp. 79 85 reedition 2006 [original edition, pp. 79 86] Josep M. Font and Ventura Verdú ON THE LOGIC OF DISTRIBUTIVE LATTICES This note is a summary
More informationExtending the Monoidal T-norm Based Logic with an Independent Involutive Negation
Extending the Monoidal T-norm Based Logic with an Independent Involutive Negation Tommaso Flaminio Dipartimento di Matematica Università di Siena Pian dei Mantellini 44 53100 Siena (Italy) flaminio@unisi.it
More informationVARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS TOMMASO MORASCHINI Abstract. Positive modal algebras are the,,,, 0, 1 -subreducts of modal algebras. We show that the variety of positive
More informationBasic Algebraic Logic
ELTE 2013. September Today Past 1 Universal Algebra 1 Algebra 2 Transforming Algebras... Past 1 Homomorphism 2 Subalgebras 3 Direct products 3 Varieties 1 Algebraic Model Theory 1 Term Algebras 2 Meanings
More informationModel Theory MARIA MANZANO. University of Salamanca, Spain. Translated by RUY J. G. B. DE QUEIROZ
Model Theory MARIA MANZANO University of Salamanca, Spain Translated by RUY J. G. B. DE QUEIROZ CLARENDON PRESS OXFORD 1999 Contents Glossary of symbols and abbreviations General introduction 1 xix 1 1.0
More informationA Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries
A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries Johannes Marti and Riccardo Pinosio Draft from April 5, 2018 Abstract In this paper we present a duality between nonmonotonic
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato June 23, 2015 This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
More informationProbability Measures in Gödel Logic
Probability Measures in Gödel Logic Diego Valota Department of Computer Science University of Milan valota@di.unimi.it Joint work with Stefano Aguzzoli (UNIMI), Brunella Gerla and Matteo Bianchi (UNINSUBRIA)
More informationTowards Formal Theory of Measure on Clans of Fuzzy Sets
Towards Formal Theory of Measure on Clans of Fuzzy Sets Tomáš Kroupa Institute of Information Theory and Automation Academy of Sciences of the Czech Republic Pod vodárenskou věží 4 182 08 Prague 8 Czech
More informationMTL-algebras via rotations of basic hoops
MTL-algebras via rotations of basic hoops Sara Ugolini University of Denver, Department of Mathematics (Ongoing joint work with P. Aglianò) 4th SYSMICS Workshop - September 16th 2018 A commutative, integral
More informationAn Introduction to Modal Logic V
An Introduction to Modal Logic V Axiomatic Extensions and Classes of Frames Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, November 7 th 2013
More informationInquisitive Logic. Journal of Philosophical Logic manuscript No. (will be inserted by the editor) Ivano Ciardelli Floris Roelofsen
Journal of Philosophical Logic manuscript No. (will be inserted by the editor) Inquisitive Logic Ivano Ciardelli Floris Roelofsen Received: 26 August 2009 / Accepted: 1 July 2010 Abstract This paper investigates
More informationALL NORMAL EXTENSIONS OF S5-SQUARED ARE FINITELY AXIOMATIZABLE
ALL NORMAL EXTENSIONS OF S5-SQUARED ARE FINITELY AXIOMATIZABLE Nick Bezhanishvili and Ian Hodkinson Abstract We prove that every normal extension of the bi-modal system S5 2 is finitely axiomatizable and
More informationPropositional and Predicate Logic - V
Propositional and Predicate Logic - V Petr Gregor KTIML MFF UK WS 2016/2017 Petr Gregor (KTIML MFF UK) Propositional and Predicate Logic - V WS 2016/2017 1 / 21 Formal proof systems Hilbert s calculus
More informationResiduated fuzzy logics with an involutive negation
Arch. Math. Logic (2000) 39: 103 124 c Springer-Verlag 2000 Residuated fuzzy logics with an involutive negation Francesc Esteva 1, Lluís Godo 1, Petr Hájek 2, Mirko Navara 3 1 Artificial Intelligence Research
More informationSome consequences of compactness in Lukasiewicz Predicate Logic
Some consequences of compactness in Lukasiewicz Predicate Logic Luca Spada Department of Mathematics and Computer Science University of Salerno www.logica.dmi.unisa.it/lucaspada 7 th Panhellenic Logic
More informationPropositional and Predicate Logic - VII
Propositional and Predicate Logic - VII Petr Gregor KTIML MFF UK WS 2015/2016 Petr Gregor (KTIML MFF UK) Propositional and Predicate Logic - VII WS 2015/2016 1 / 11 Theory Validity in a theory A theory
More informationAn Introduction to Modal Logic III
An Introduction to Modal Logic III Soundness of Normal Modal Logics Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, October 24 th 2013 Marco Cerami
More informationUnification of terms and language expansions
Unification of terms and language expansions in Heyting algebras and commutative residuated lattices Wojciech Dzik Instytut Matematyki Uniwersytet Sl aski, Katowice wojciech.dzik@us.edu.pl joint work with
More informationOn Hájek s Fuzzy Quantifiers Probably and Many
On Hájek s Fuzzy Quantifiers Probably and Many Petr Cintula Institute of Computer Science Academy of Sciences of the Czech Republic Lukasiewicz logic L Connectives: implication and falsum (we set ϕ = ϕ
More informationThe logic of perfect MV-algebras
The logic of perfect MV-algebras L. P. Belluce Department of Mathematics, British Columbia University, Vancouver, B.C. Canada. belluce@math.ubc.ca A. Di Nola DMI University of Salerno, Salerno, Italy adinola@unisa.it
More informationPřednáška 12. Důkazové kalkuly Kalkul Hilbertova typu. 11/29/2006 Hilbertův kalkul 1
Přednáška 12 Důkazové kalkuly Kalkul Hilbertova typu 11/29/2006 Hilbertův kalkul 1 Formal systems, Proof calculi A proof calculus (of a theory) is given by: A. a language B. a set of axioms C. a set of
More informationOn the Axiomatizability of Quantitative Algebras
On the Axiomatizability of Quantitative Algebras Radu Mardare Aalborg University, Denmark Email: mardare@cs.aau.dk Prakash Panangaden McGill University, Canada Email: prakash@cs.mcgill.ca Gordon Plotkin
More informationUNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS
Bulletin of the Section of Logic Volume 32:1/2 (2003), pp. 19 26 Wojciech Dzik UNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS Abstract It is shown that all extensions of S5 modal logic, both
More informationAlgebraic Logic. Hiroakira Ono Research Center for Integrated Science Japan Advanced Institute of Science and Technology
Algebraic Logic Hiroakira Ono Research Center for Integrated Science Japan Advanced Institute of Science and Technology ono@jaist.ac.jp 1 Introduction Algebraic methods have been important tools in the
More informationFirst-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties Francesc Esteva, Lluís Godo Institut d Investigació en Intel ligència Artificial - CSIC Catalonia,
More informationInquisitive Logic. Ivano Ciardelli.
Inquisitive Logic Ivano Ciardelli www.illc.uva.nl/inquisitive-semantics Information states A state is a set of valuations. Support Let s be a state. The system InqB 1. s = p iff w s : w(p) = 1 2. s = iff
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More informationEquational Logic. Chapter Syntax Terms and Term Algebras
Chapter 2 Equational Logic 2.1 Syntax 2.1.1 Terms and Term Algebras The natural logic of algebra is equational logic, whose propositions are universally quantified identities between terms built up from
More informationON A PROBLEM IN ALGEBRAIC MODEL THEORY
Bulletin of the Section of Logic Volume 11:3/4 (1982), pp. 103 107 reedition 2009 [original edition, pp. 103 108] Bui Huy Hien ON A PROBLEM IN ALGEBRAIC MODEL THEORY In Andréka-Németi [1] the class ST
More informationAxiomatizing hybrid logic using modal logic
Axiomatizing hybrid logic using modal logic Ian Hodkinson Department of Computing Imperial College London London SW7 2AZ United Kingdom imh@doc.ic.ac.uk Louis Paternault 4 rue de l hôpital 74800 La Roche
More informationComputing Spectra via Dualities in the MTL hierarchy
Computing Spectra via Dualities in the MTL hierarchy Diego Valota Department of Computer Science University of Milan valota@di.unimi.it 11th ANNUAL CECAT WORKSHOP IN POINTFREE MATHEMATICS Overview Spectra
More informationModal Consequence Relations
Modal Consequence Relations Marcus Kracht Department of Linguistics, UCLA 3125 Campbell Hall PO Box 951543 405 Hilgard Avenue Los Angeles, CA 90095 1543 kracht@ humnet. ucla. edu 1 Introduction Logic is
More informationAssertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic Published as a chapter (pp. 53 80) of: Don Pigozzi on abstract algebraic logic, universal algebra and computer
More informationPropositional Logics and their Algebraic Equivalents
Propositional Logics and their Algebraic Equivalents Kyle Brooks April 18, 2012 Contents 1 Introduction 1 2 Formal Logic Systems 1 2.1 Consequence Relations......................... 2 3 Propositional Logic
More informationOn the Complexity of the Reflected Logic of Proofs
On the Complexity of the Reflected Logic of Proofs Nikolai V. Krupski Department of Math. Logic and the Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University, Moscow 119899,
More informationComputational Logic and Applications KRAKÓW On density of truth of infinite logic. Zofia Kostrzycka University of Technology, Opole, Poland
Computational Logic and Applications KRAKÓW 2008 On density of truth of infinite logic Zofia Kostrzycka University of Technology, Opole, Poland By locally infinite logic, we mean a logic, which in some
More information1. Tarski consequence and its modelling
Bulletin of the Section of Logic Volume 36:1/2 (2007), pp. 7 19 Grzegorz Malinowski THAT p + q = c(onsequence) 1 Abstract The famous Tarski s conditions for a mapping on sets of formulas of a language:
More informationFuzzy Logic. 1. Motivation, history and two new logics. Petr Cintula. Institute of Computer Science, Czech Academy of Sciences, Prague, Czech Republic
Fuzzy Logic 1. Motivation, history and two new logics Petr Cintula Institute of Computer Science, Czech Academy of Sciences, Prague, Czech Republic www.cs.cas.cz/cintula/mfl-tuw Petr Cintula (CAS) Fuzzy
More informationAdmissible Rules of (Fragments of) R-Mingle. Admissible Rules of (Fragments of) R-Mingle. Laura Janina Schnüriger
Admissible Rules of (Fragments of) R-Mingle Admissible Rules of (Fragments of) R-Mingle joint work with George Metcalfe Universität Bern Novi Sad 5 June 2015 Table of contents 1. What and why? 1.1 What
More informationFrom Fuzzy Logic to Fuzzy Mathematics. Petr Cintula
From Fuzzy Logic to Fuzzy Mathematics Petr Cintula Disertační práce v oboru Matematické inženýrství Praha, prosinec 2004 Disertační práce v oboru Matematické inženýrství Fakulta jaderná a fyzikálně inženýrská
More informationVarieties of Heyting algebras and superintuitionistic logics
Varieties of Heyting algebras and superintuitionistic logics Nick Bezhanishvili Institute for Logic, Language and Computation University of Amsterdam http://www.phil.uu.nl/~bezhanishvili email: N.Bezhanishvili@uva.nl
More informationFuzzy Logic. 4. Predicate Łukasiewicz and Gödel Dummett logic. Petr Cintula
Fuzzy Logic 4. Predicate Łukasiewicz and Gödel Dummett logic Petr Cintula Institute of Computer Science, Czech Academy of Sciences, Prague, Czech Republic www.cs.cas.cz/cintula/mfl-tuw Petr Cintula (CAS)
More informationA generalization of modal definability
A generalization of modal definability Tin Perkov Polytechnic of Zagreb Abstract. Known results on global definability in basic modal logic are generalized in the following sense. A class of Kripke models
More information1 What is fuzzy logic and why it matters to us
1 What is fuzzy logic and why it matters to us The ALOPHIS Group, Department of Philosophy, University of Cagliari, Italy (Roberto Giuntini, Francesco Paoli, Hector Freytes, Antonio Ledda, Giuseppe Sergioli
More informationOn Jankov-de Jongh formulas
On Jankov-de Jongh formulas Nick Bezhanishvili Institute for Logic, Language and Computation University of Amsterdam http://www.phil.uu.nl/~bezhanishvili The Heyting day dedicated to Dick de Jongh and
More informationSyntactic Characterisations in Model Theory
Department of Mathematics Bachelor Thesis (7.5 ECTS) Syntactic Characterisations in Model Theory Author: Dionijs van Tuijl Supervisor: Dr. Jaap van Oosten June 15, 2016 Contents 1 Introduction 2 2 Preliminaries
More informationPropositional Logic Language
Propositional Logic Language A logic consists of: an alphabet A, a language L, i.e., a set of formulas, and a binary relation = between a set of formulas and a formula. An alphabet A consists of a finite
More informationOn the algebra of relevance logics
On the algebra of relevance logics by Johann Joubert Wannenburg Submitted in partial fulfilment of the requirements for the degree Master of Science in the Faculty of Natural & Agricultural Sciences University
More informationNatural Deduction. Formal Methods in Verification of Computer Systems Jeremy Johnson
Natural Deduction Formal Methods in Verification of Computer Systems Jeremy Johnson Outline 1. An example 1. Validity by truth table 2. Validity by proof 2. What s a proof 1. Proof checker 3. Rules of
More information1. Propositional Calculus
1. Propositional Calculus Some notes for Math 601, Fall 2010 based on Elliott Mendelson, Introduction to Mathematical Logic, Fifth edition, 2010, Chapman & Hall. 2. Syntax ( grammar ). 1.1, p. 1. Given:
More informationFuzzy Does Not Lie! Can BAŞKENT. 20 January 2006 Akçay, Göttingen, Amsterdam Student No:
Fuzzy Does Not Lie! Can BAŞKENT 20 January 2006 Akçay, Göttingen, Amsterdam canbaskent@yahoo.com, www.geocities.com/canbaskent Student No: 0534390 Three-valued logic, end of the critical rationality. Imre
More informationCongruence Boolean Lifting Property
Congruence Boolean Lifting Property George GEORGESCU and Claudia MUREŞAN University of Bucharest Faculty of Mathematics and Computer Science Academiei 14, RO 010014, Bucharest, Romania Emails: georgescu.capreni@yahoo.com;
More informationTHE EQUATIONAL THEORIES OF REPRESENTABLE RESIDUATED SEMIGROUPS
TH QUATIONAL THORIS OF RPRSNTABL RSIDUATD SMIGROUPS SZABOLCS MIKULÁS Abstract. We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We
More informationAn Abstract Approach to Consequence Relations
An Abstract Approach to Consequence Relations Francesco Paoli (joint work with P. Cintula, J. Gil Férez, T. Moraschini) SYSMICS Kickoff Francesco Paoli, (joint work with P. Cintula, J. AnGil Abstract Férez,
More informationAxiomatizing hybrid logic using modal logic
Axiomatizing hybrid logic using modal logic Ian Hodkinson Department of Computing Imperial College London London SW7 2AZ United Kingdom imh@doc.ic.ac.uk Louis Paternault 4 rue de l hôpital 74800 La Roche
More informationMONADIC FRAGMENTS OF INTUITIONISTIC CONTROL LOGIC
Bulletin of the Section of Logic Volume 45:3/4 (2016), pp. 143 153 http://dx.doi.org/10.18778/0138-0680.45.3.4.01 Anna Glenszczyk MONADIC FRAGMENTS OF INTUITIONISTIC CONTROL LOGIC Abstract We investigate
More informationVanderbilt University
Vanderbilt University Department of Mathematics Shanks Workshop on Ordered Groups in Logic Booklet of Abstracts Editor George Metcalfe March 21 22, 2009 Table of contents Semilinear logics Petr Cintula
More informationMultiset Consequence Relations
Multiset Consequence Relations Francesco Paoli Gargnano, 27.08.15 Francesco Paoli (Univ. Cagliari) Multiset Gargnano, 27.08.15 1 / 71 Outline of this talk 1 The basics of algebraic logic 2 Substructural
More informationApplied Logic. Lecture 1 - Propositional logic. Marcin Szczuka. Institute of Informatics, The University of Warsaw
Applied Logic Lecture 1 - Propositional logic Marcin Szczuka Institute of Informatics, The University of Warsaw Monographic lecture, Spring semester 2017/2018 Marcin Szczuka (MIMUW) Applied Logic 2018
More informationCOMPLETE SETS OF CONNECTIVES FOR GENERALIZED ŁUKASIEWICZ LOGICS KAMERYN J WILLIAMS. CUNY Graduate Center 365 Fifth Avenue New York, NY USA
COMPLETE SETS OF CONNECTIVES FOR GENERALIZED ŁUKASIEWICZ LOGICS KAMERYN J WILLIAMS CUNY Graduate Center 365 Fifth Avenue New York, NY 10016 USA Abstract. While,, form a complete set of connectives for
More informationCHARACTERIZATION THEOREM OF 4-VALUED DE MORGAN LOGIC. Michiro Kondo
Mem. Fac. Sci. Eng. Shimane Univ. Series B: Mathematical Science 31 (1998), pp. 73 80 CHARACTERIZATION THEOREM OF 4-VALUED DE MORGAN LOGIC Michiro Kondo (Received: February 23, 1998) Abstract. In this
More information1. Propositional Calculus
1. Propositional Calculus Some notes for Math 601, Fall 2010 based on Elliott Mendelson, Introduction to Mathematical Logic, Fifth edition, 2010, Chapman & Hall. 2. Syntax ( grammar ). 1.1, p. 1. Given:
More informationAlgebra and probability in Lukasiewicz logic
Algebra and probability in Lukasiewicz logic Ioana Leuştean Faculty of Mathematics and Computer Science University of Bucharest Probability, Uncertainty and Rationality Certosa di Pontignano (Siena), 1-3
More informationLogical Closure Properties of Propositional Proof Systems
of Logical of Propositional Institute of Theoretical Computer Science Leibniz University Hannover Germany Theory and Applications of Models of Computation 2008 Outline of Propositional of Definition (Cook,
More informationConstructions of Models in Fuzzy Logic with Evaluated Syntax
Constructions of Models in Fuzzy Logic with Evaluated Syntax Petra Murinová University of Ostrava IRAFM 30. dubna 22 701 03 Ostrava Czech Republic petra.murinova@osu.cz Abstract This paper is a contribution
More informationA Note on Graded Modal Logic
A Note on Graded Modal Logic Maarten de Rijke Studia Logica, vol. 64 (2000), pp. 271 283 Abstract We introduce a notion of bisimulation for graded modal logic. Using these bisimulations the model theory
More informationParaconsistency properties in degree-preserving fuzzy logics
Noname manuscript No. (will be inserted by the editor) Paraconsistency properties in degree-preserving fuzzy logics Rodolfo Ertola Francesc Esteva Tommaso Flaminio Lluís Godo Carles Noguera Abstract Paraconsistent
More informationThe non-logical symbols determine a specific F OL language and consists of the following sets. Σ = {Σ n } n<ω
1 Preliminaries In this chapter we first give a summary of the basic notations, terminology and results which will be used in this thesis. The treatment here is reduced to a list of definitions. For the
More informationThe Countable Henkin Principle
The Countable Henkin Principle Robert Goldblatt Abstract. This is a revised and extended version of an article which encapsulates a key aspect of the Henkin method in a general result about the existence
More informationFleas and fuzzy logic a survey
Fleas and fuzzy logic a survey Petr Hájek Institute of Computer Science AS CR Prague hajek@cs.cas.cz Dedicated to Professor Gert H. Müller on the occasion of his 80 th birthday Keywords: mathematical fuzzy
More informationMany-Valued Semantics for Vague Counterfactuals
Many-Valued Semantics for Vague Counterfactuals MARCO CERAMI AND PERE PARDO 1 1 Introduction This paper is an attempt to provide a formal semantics to counterfactual propositions that involve vague sentences
More informationComplexity of unification and admissibility with parameters in transitive modal logics
Complexity of unification and admissibility with parameters in transitive modal logics Emil Jeřábek jerabek@math.cas.cz http://math.cas.cz/ jerabek/ Institute of Mathematics of the Academy of Sciences,
More information185.A09 Advanced Mathematical Logic
185.A09 Advanced Mathematical Logic www.volny.cz/behounek/logic/teaching/mathlog13 Libor Běhounek, behounek@cs.cas.cz Lecture #1, October 15, 2013 Organizational matters Study materials will be posted
More informationOn the filter theory of residuated lattices
On the filter theory of residuated lattices Jiří Rachůnek and Dana Šalounová Palacký University in Olomouc VŠB Technical University of Ostrava Czech Republic Orange, August 5, 2013 J. Rachůnek, D. Šalounová
More informationarxiv: v1 [math.lo] 3 Dec 2018
arxiv:181200983v1 [mathlo] 3 Dec 2018 A General Axiomatization for the logics of the Hierarchy I n P k Víctor Fernández Basic Sciences Institute (Mathematical Area) Philosophy College National University
More informationArtificial Intelligence. Propositional logic
Artificial Intelligence Propositional logic Propositional Logic: Syntax Syntax of propositional logic defines allowable sentences Atomic sentences consists of a single proposition symbol Each symbol stands
More informationMath 588, Fall 2001 Problem Set 1 Due Sept. 18, 2001
Math 588, Fall 2001 Problem Set 1 Due Sept. 18, 2001 1. [Burris-Sanka. 1.1.9] Let A, be a be a finite poset. Show that there is a total (i.e., linear) order on A such that, i.e., a b implies a b. Hint:
More informationInterpretability Logic
Interpretability Logic Logic and Applications, IUC, Dubrovnik vukovic@math.hr web.math.pmf.unizg.hr/ vukovic/ Department of Mathematics, Faculty of Science, University of Zagreb September, 2013 Interpretability
More informationPart II. Logic and Set Theory. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 60 Paper 4, Section II 16G State and prove the ǫ-recursion Theorem. [You may assume the Principle of ǫ- Induction.]
More informationUniversity of Oxford, Michaelis November 16, Categorical Semantics and Topos Theory Homotopy type theor
Categorical Semantics and Topos Theory Homotopy type theory Seminar University of Oxford, Michaelis 2011 November 16, 2011 References Johnstone, P.T.: Sketches of an Elephant. A Topos-Theory Compendium.
More informationEvaluation Driven Proof-Search in Natural Deduction Calculi for Intuitionistic Propositional Logic
Evaluation Driven Proof-Search in Natural Deduction Calculi for Intuitionistic Propositional Logic Mauro Ferrari 1, Camillo Fiorentini 2 1 DiSTA, Univ. degli Studi dell Insubria, Varese, Italy 2 DI, Univ.
More informationMV-algebras and fuzzy topologies: Stone duality extended
MV-algebras and fuzzy topologies: Stone duality extended Dipartimento di Matematica Università di Salerno, Italy Algebra and Coalgebra meet Proof Theory Universität Bern April 27 29, 2011 Outline 1 MV-algebras
More informationRasiowa-Sikorski proof system for the non-fregean sentential logic SCI
Rasiowa-Sikorski proof system for the non-fregean sentential logic SCI Joanna Golińska-Pilarek National Institute of Telecommunications, Warsaw, J.Golinska-Pilarek@itl.waw.pl We will present complete and
More informationStates of free product algebras
States of free product algebras Sara Ugolini University of Pisa, Department of Computer Science sara.ugolini@di.unipi.it (joint work with Tommaso Flaminio and Lluis Godo) Congreso Monteiro 2017 Background
More information