Leo Esakia on Duality in Modal and Intuitionistic Logics المزيد من الكتب المشابهة

Proof Theory and Algebra in Logic Proof Theory and Algebra in Logic
Proof Theory and Algebra in Logic
٢٠١٩
Philosophical Logic: Current Trends in Asia Philosophical Logic: Current Trends in Asia
Philosophical Logic: Current Trends in Asia
٢٠١٧
Constructive Negations and Paraconsistency Constructive Negations and Paraconsistency
Constructive Negations and Paraconsistency
٢٠٠٨
Handbook of Philosophical Logic Handbook of Philosophical Logic
Handbook of Philosophical Logic
٢٠٠٦
Modality, Semantics and Interpretations Modality, Semantics and Interpretations
Modality, Semantics and Interpretations
٢٠١٥
Goguen Categories Goguen Categories
Goguen Categories
٢٠٠٧
Contradictions, from Consistency to Inconsistency Contradictions, from Consistency to Inconsistency
Contradictions, from Consistency to Inconsistency
٢٠١٨
Paraconsistent Logic: Consistency, Contradiction and Negation Paraconsistent Logic: Consistency, Contradiction and Negation
Paraconsistent Logic: Consistency, Contradiction and Negation
٢٠١٦
One Hundred Years of Axiomatic Set Theory One Hundred Years of Axiomatic Set Theory
One Hundred Years of Axiomatic Set Theory
٢٠١٢
Proof, Computation and Agency Proof, Computation and Agency
Proof, Computation and Agency
٢٠١١
Advances in Natural Deduction Advances in Natural Deduction
Advances in Natural Deduction
٢٠١٤
Mathesis Universalis, Computability and Proof Mathesis Universalis, Computability and Proof
Mathesis Universalis, Computability and Proof
٢٠١٩
A Geometry of Approximation A Geometry of Approximation
A Geometry of Approximation
٢٠٠٨
Hybrid Logic and its Proof-Theory Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
٢٠١٠
Natural Deduction, Hybrid Systems and Modal Logics Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
٢٠١٠