The following pages link to Bulletin of the Section of Logic (Q2810124):
Displaying 50 items.
- Remarks on Łukasiewicz's three-valued logic (Q2710098) (← links)
- 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 Lukasiewicz's finitely-valued logics (Q2810128) (← links)
- Tense polyadic \(n\times m\) valued Łukasiewicz-Moisil algebras (Q2810129) (← links)
- On certain of Leibniz's observations concerning the substantiation of mathematical statements (Q2915820) (← links)
- Transition from potential to actual infinity via Ackermann's principle (Q2915821) (← links)
- Notes on the semantics for the logic with semi-negation (Q2915822) (← links)
- Philosophical consequences of Gödel's theorem (Q2915823) (← links)
- Logic and experience in the light of dialogic logic (Q2915824) (← links)
- On empirical status of logical inferences (Q2915825) (← links)
- A logical analysis of philosophical arguments based on Leibniz's principle of the sufficient reason of existence (Q2915827) (← links)
- Principles of knowledge representation (Q2915828) (← links)
- Semantic reasons for ontological statements (Q2915829) (← links)
- Interpretations (Q2915830) (← links)
- Metamathematics and philosophy (Q2915831) (← 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)
