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