Matrix approach in methodology of sentential calculi
From MaRDI portal
Cites work
- A formal theory of the logical values. I
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- Allgemeine Logische und Mathematische Theorien
- An algebraic approach to non-classical logics
- Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
- Grundzüge der Systemenkalküls I
- scientific article; zbMATH DE number 3150809 (Why is no real title available?)
- scientific article; zbMATH DE number 3300564 (Why is no real title available?)
- Logical systems with implications
- On certain connections between consequence, inconsistency and completeness
- On structural completeness of Lukasiewicz's logics
- On the structural completeness of some pure implicational propositional calculi
- Some remarks on the concept of completeness of the propositional calculus. I
- Some remarks on the consequence operation in sentential logics
- Some structure results for propositional calculi
- The algebraic treatment of the methodology of elementary deductive systems
- The independence of connectives
- The problem of reconstructability of propositional calculi
Cited in
(55)- The logic of algebraic rules as a generalization of equational logic
- Filter distributive logics
- Semantic alternatives in partial Boolean quantum logic
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
- Matrices, primitive satisfaction and finitely based logics
- Algebraic aspects of deduction theorems
- On two problems of Harvey Friedman
- 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
- 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
- 2-element matrices
- Strong versus weak quantum consequence operations
- The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness
- A representation theorem for the lattice of standard consequence operations
- S-algebras and the degrees of maximality for three and four valued logics of Lukasiewicz
- Degrees of maximality of Łukasiewicz-like sentential calculi
- On structural completeness of many-valued logics
- On three-valued implicative systems
- The existence of matrices strongly adequate for E, R and their fragments
- Algebraic study of Sette's maximal paraconsistent logic
- Compositional meaning in logic
- Characterizing finite-valuedness
- Key notions of Tarski's methodology of deductive systems
- An approach to uncertainty via sets of truth values
- Adjoint interpretations of sentential calculi
- 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
- Beyond Rasiowa's algebraic approach to non-classical logics
- Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach
- Logics preserving degrees of truth
- Almost structural completeness; an algebraic approach
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- The deduction theorem for quantum logic—some negative results
- An abstract algebraic logic approach to tetravalent modal logics
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
- On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences
- Propositional logic for topology-like matrices: A calculus with restricted substitution
- Abstract algebraic logic. An introductory chapter
- Protoalgebraic logics
- Contextual deduction theorems
- An essay in matrix semantics for consequence relations
- A logical consequence informed by probability
- Janusz Czelakowski's research on the theory of matrices and its applications in the seventies and eighties of the 20th century
- An intriguing logic with two implicational connectives
- Meet-combination of consequence 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
- Many-valued computational logics
This page was built for publication: Matrix approach in methodology of sentential calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1229698)
