scientific article; zbMATH DE number 4055579
From MaRDI portal
Publication:3791124
Recommendations
Cited in
(65)- Algebraic logic for classical conjunction and disjunction
- A study of truth predicates in matrix semantics
- scientific article; zbMATH DE number 3873299 (Why is no real title available?)
- Вполне-определённые логики
- The classification of propositional calculi
- Leibniz-linked pairs of deductive systems
- Possible worlds in use
- Characteristic theories and inversion of substitution
- Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case
- scientific article; zbMATH DE number 3895041 (Why is no real title available?)
- The Procedures for Belief Revision
- scientific article; zbMATH DE number 4016868 (Why is no real title available?)
- scientific article; zbMATH DE number 3920437 (Why is no real title available?)
- Consequence and degrees of truth in many-valued logic
- scientific article; zbMATH DE number 3853041 (Why is no real title available?)
- scientific article; zbMATH DE number 4041882 (Why is no real title available?)
- Finite non-deterministic semantics for some modal systems
- scientific article; zbMATH DE number 4177029 (Why is no real title available?)
- Almost structural completeness; an algebraic approach
- The Lvov-Warsaw school: a true mythology
- Varieties of logical matrices
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
- A syntactic approach to closure operation
- О критерии паранормальности для $n$-значных логических матриц
- Some Remarks on Heyting Matrices
- Some Remarks on Heyting Matrices
- A family of genuine and non-algebraisable C-systems
- Logics preserving degrees of truth
- Key notions of Tarski's methodology of deductive systems
- Modal extensions of sub-classical logics for recovering classical logic
- From Inconsistency to Incompatibility
- Logical matrices and non-structural consequence operators
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
- A note on R\(\rightarrow\) matrices
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
- Beyond Rasiowa's algebraic approach to non-classical logics
- A 4-valued framework encompassing intuitionistic and classical logic
- Algebraic study of two deductive systems of relevance logic
- An algebraic view of super-Belnap logics
- The Suszko operator relative to truth‐equational logics
- Fractional semantics for classical logic
- The strong version of a sentential logic
- Combining valuations with society semantics
- Matrices, primitive satisfaction and finitely based logics
- Two theorems on many-valued logics
- Theories in classical propositional logic and the converse of substitution
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
- Remarks on a survey article on many valued logic by A. Urquhart
- Deduction and reduction theorems for inferential erotetic logic
- Taking degrees of truth seriously
- Natural 3-valued logics—characterization and proof theory
- Theories of propositional logics and the converse of substitution
- Some theorems on structural entailment relations
- A first approach to abstract modal logics
- Theories of the classical propositional logic and substitutions
- scientific article; zbMATH DE number 4152338 (Why is no real title available?)
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3
- scientific article; zbMATH DE number 4063072 (Why is no real title available?)
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
- scientific article; zbMATH DE number 4087635 (Why is no real title available?)
- On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences
- Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC
- Tableau systems for some Ivlev-like (quantified) modal logics
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
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 Q3791124)
