The following pages link to Bulletin of the Section of Logic (Q2810124):
Displaying 50 items.
- Simple Logics for Basic Algebras (Q2810125) (← links)
- On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames (Q2810126) (← links)
- A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics (Q2810127) (← links)
- Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics (Q2810128) (← links)
- Tense Polyadic N × M-Valued Łukasiewicz–Moisil Algebras (Q2810129) (← links)
- Elementary Proof of Strong Normalization for Atomic F (Q2957669) (← links)
- A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs (Q2957670) (← links)
- An Alternative Natural Deduction for the Intuitionistic Propositional Logic (Q2957671) (← links)
- Commutative Energetic Subsets of BCK-Algebras (Q2957672) (← links)
- Int-Soft Ideals of Pseudo MV-Algebras (Q4556004) (← links)
- Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005) (← links)
- PC-lattices: A Class of Bounded BCK-algebras (Q4556006) (← links)
- Algebraic Characterization of the Local Craig Interpolation Property (Q4556007) (← links)
- Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics (Q4556008) (← links)
- Free Modal Pseudocomplemented De Morgan Algebras (Q4556010) (← links)
- Variable Sharing in Substructural Logics: an Algebraic Characterization (Q4556011) (← links)
- Pseudo-BCH Semilattices (Q4556012) (← links)
- Bayesian Propositional Logic (Q4576058) (← links)
- Identity, Equality, Nameability and Completeness (Q4576060) (← links)
- On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2 (Q4576061) (← links)
- A Syntactic Approach to Closure Operation (Q4576062) (← links)
- An Inferentially Many-Valued Two-Dimensional Notion of Entailment (Q4576064) (← links)
- Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2 (Q4576065) (← links)
- Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1 (Q4576066) (← links)
- Quasiorders, Tolerance Relations and Corresponding “Partitions” (Q4591499) (← links)
- Axiomatization of a Basic Logic of Logical Bilattices (Q4591500) (← links)
- A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4 (Q4591501) (← links)
- Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions (Q4591502) (← links)
- Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus (Q4591503) (← links)
- Monadic Fragments of Intuitionistic Control Logic (Q4593253) (← links)
- On Direct Limit Closed Classes of Algebras (Q4593254) (← links)
- Interpolation in Normal Extensions of the Brouwer Logic (Q4593255) (← links)
- Characterization of Birkhoff’s Conditions by Means of Cover-Preserving and Partially Cover-Preserving Sublattices (Q4593256) (← links)
- Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and Anti-Uniform Parts (Q4593257) (← links)
- Irredundant Decomposition of Algebras into One-Dimensional Factors (Q4593258) (← links)
- Some Algebraic and Algorithmic Problems in Acoustocerebrography (Q4593260) (← links)
- Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras (Q4593261) (← links)
- Professor Grzegorz Malinowski in Honorem (Q4608550) (← links)
- Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist) (Q4608551) (← links)
- Universality of Logic (Q4608552) (← links)
- Four-Valued Logics BD and DM4: Expansions (Q4608553) (← links)
- The Infinite-Valued Łukasiewicz Logic and Probability (Q4608554) (← links)
- From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction (Q4608555) (← links)
- Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity (Q4608556) (← links)
- Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics (Q4608557) (← links)
- On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1 (Q4608558) (← links)
- Cut Elimination Theorem for Non-Commutative Hypersequent Calculus (Q4608559) (← links)
- Identity, equality, nameability and completeness. Part II (Q4629288) (← links)
- On interpolation in NEXT(KB.Alt(2)) (Q4629289) (← links)
- B-almost distributive fuzzy lattice (Q4629292) (← links)
