scientific article
From MaRDI portal
Publication:3791124
zbMath0647.03019MaRDI QIDQ3791124
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
propositional logicdecidabilityalgebraic semanticsconsequence operationstructural completenessmatrix semanticsreferential 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)
Related Items (41)
Вполне-определённые логики ⋮ Almost structural completeness; an algebraic approach ⋮ Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case ⋮ On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences ⋮ Algebraic study of two deductive systems of relevance logic ⋮ Natural 3-valued logics—characterization and proof theory ⋮ О критерии паранормальности для $n$-значных логических матриц ⋮ Remarks on a survey article on many valued logic by A. Urquhart ⋮ Logics preserving degrees of truth ⋮ Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited ⋮ A Syntactic Approach to Closure Operation ⋮ A 4-valued framework encompassing intuitionistic and classical logic ⋮ The strong version of a sentential logic ⋮ Finite non-deterministic semantics for some modal systems ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ An algebraic view of super-Belnap logics ⋮ The Suszko operator relative to truth‐equational logics ⋮ Theories of propositional logics and the converse of substitution ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ Theories in classical propositional logic and the converse of substitution ⋮ Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ From Inconsistency to Incompatibility ⋮ Modal extensions of sub-classical logics for recovering classical logic ⋮ The Lvov-Warsaw School: A True Mythology ⋮ Leibniz-linked pairs of deductive systems ⋮ Possible worlds in use ⋮ Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 ⋮ Algebraic logic for classical conjunction and disjunction ⋮ Deduction and reduction theorems for inferential erotetic logic ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ The Procedures for Belief Revision ⋮ Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties ⋮ Taking degrees of truth seriously ⋮ FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC ⋮ Theories of the classical propositional logic and substitutions ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Combining Valuations with Society Semantics ⋮ A first approach to abstract modal logics ⋮ A family of genuine and non-algebraisable C-systems ⋮ SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
This page was built for publication:
