scientific article; zbMATH DE number 3659563
From MaRDI portal
Publication:3858239
intuitionistic logicalgebraic semanticspropositional calculusclassical sentential calculusaxiomatic and deductive systems without quantifiersconstructive logical systemsultrafilter theory
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical propositional logic (03B05) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Logical aspects of lattices and related structures (03G10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logical aspects of ?ukasiewicz and Post algebras (03G20)
Cited in
(76)- A new logical characterisation of stable models and answer sets
- Frame based formulas for intermediate logics
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
- Yankov Characteristic Formulas (An Algebraic Account)
- Proof theory of abelian connexive logics
- Willem Blok and modal logic
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- Algebraic and relational semantics for tense logics
- Synthesized substructural logics
- Paraconsistent computation tree logic
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Almost structural completeness; an algebraic approach
- 2-element matrices
- The structure of lattices of subframe logics
- On the structure of paraconsistent extensions of Johansson's logic
- Strong decidability and strong recognizability
- Layers over minimal logic
- Characteristic formulas over intermediate logics
- Lattice NExtS4 from the embedding theorem viewpoint
- Topology and duality in modal logic
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5
- Gnosis
- Interpolation properties in the extensions of the logic of inequality
- Esakia duality and its extensions
- The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond
- Gödel's completeness theorem
- Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
- Generalized compactness of nonmonotonic inference operations
- Unification types and union splittings in intermediate logics
- Cut-elimination and normalization theorems for connexive logics over Wansing's C
- An almost general splitting theorem for modal logic
- Algebraization of quantifier logics, an introductory overview
- Abstract modal logics
- On the structure of varieties with equationally definable principal congruences. I
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
- On variable separation in modal and superintuitionistic logics
- On extensions of intermediate logics by strong negation
- Finitary unification in locally tabular modal logics characterized
- Three-element nonfinitely axiomatizable matrices
- Extending paraconsistent quantum logic: a single-antecedent/succedent system approach
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
- Decidability of some interpolation properties for weakly transitive modal logics
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- Paraconsistent double negations as classical and intuitionistic negations
- Gentzen-type calculi for involutive quantales
- A hierarchy of weak double negations
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
- Modal multilattice logic
- Modalities and quantum mechanics
- Tableaux for logic programming with strong negation
- On logics with coimplication
- Definability and interpolation in non-classical logics
- Reflexive intermediate propositional logics
- Modal tableau calculi and interpolation
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- G3-style sequent calculi for Gurevich logic and its neighbors
- Symmetric and conflated intuitionistic logics
- Even more about the lattice of tense logics
- Falsification-aware semantics and sequent calculi for classical logic
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
- Embedding friendly first-order paradefinite and connexive logics
- The structure of slices over minimal logic
- scientific article; zbMATH DE number 7297101 (Why is no real title available?)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
- Satisfiability is false intuitionistically: a question from Dana Scott
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
- Extensions of the minimal logic and the interpolation problem
- The tabularity problem over the minimal logic
- Pretabularity and Craig's interpolation problem over the minimal logic
- Unified Gentzen approach to connexive logics over Wansing's C
- A binary quantifier for definite descriptions in Nelsonian free logic
- Slices and levels of extensions of the minimal logic
- LC and its pretabular relatives
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3858239)
