Matrix approach in methodology of sentential calculi

DOI10.1007/BF02123806zbMath0336.02012MaRDI QIDQ1229698

Publication date: 1973

Published in: Studia Logica (Search for Journal in Brave)

Classical propositional logic (03B05) Many-valued logic (03B50) Logical aspects of Boolean algebras (03G05) Categoricity and completeness of theories (03C35)

Related Items (max. 100)

Matrices, primitive satisfaction and finitely based logics ⋮ Almost structural completeness; an algebraic approach ⋮ Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond ⋮ Algebraic aspects of deduction theorems ⋮ On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences ⋮ Algebraic study of Sette's maximal paraconsistent logic ⋮ Logics preserving degrees of truth ⋮ An approach to uncertainty via sets of truth values ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ The deduction theorem for quantum logic—some negative results ⋮ Propositional logic for topology-like matrices: A calculus with restricted substitution ⋮ Compositional meaning in logic ⋮ On two problems of Harvey Friedman ⋮ Abstract algebraic logic. An introductory chapter ⋮ Reduced products of logical matrices ⋮ An example of strongly finite consequence operation with \(2^ (\aleph_ 0)\) standard strengthenings ⋮ Equationally definable implication algebras for orthomodular lattices ⋮ Willem Blok's contribution to abstract algebraic logic ⋮ The Beth property in algebraic logic ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Many-valued computational logics ⋮ The degrees of maximality of the intuitionistic propositional logic and of some of its fragments ⋮ Equivalential logics. I ⋮ The lattice of strengthenings of a strongly finite consequence operation ⋮ Contextual deduction theorems ⋮ 2-element matrices ⋮ Protoalgebraic logics ⋮ Strong versus weak quantum consequence operations ⋮ An intriguing logic with two implicational connectives ⋮ The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness ⋮ Adjoint interpretations of sentential calculi ⋮ A representation theorem for the lattice of standard consequence operations ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ S-algebras and the degrees of maximality for three and four valued logics of Lukasiewicz ⋮ Degrees of maximality of Łukasiewicz-like sentential calculi ⋮ Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach ⋮ Characterizing finite-valuedness ⋮ On structural completeness of many-valued logics ⋮ On three-valued implicative systems ⋮ The existence of matrices strongly adequate for E, R and their fragments ⋮ SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Logical matrices and non-structural consequence operators ⋮ Some theorems on structural entailment relations ⋮ Logical matrices and the amalgamation property ⋮ Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic ⋮ The logic of algebraic rules as a generalization of equational logic ⋮ Filter distributive logics ⋮ An abstract algebraic logic approach to tetravalent modal logics ⋮ Semantic alternatives in partial Boolean quantum logic ⋮ Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra

Cites Work

This page was built for publication: Matrix approach in methodology of sentential calculi