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