Pages that link to "Item:Q1229698"
From MaRDI portal
The following pages link to Matrix approach in methodology of sentential calculi (Q1229698):
Displaying 50 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Propositional logic for topology-like matrices: A calculus with restricted substitution (Q599051) (← links)
- Contextual deduction theorems (Q647412) (← links)
- An intriguing logic with two implicational connectives (Q698537) (← links)
- Logical matrices and non-structural consequence operators (Q792325) (← links)
- Some theorems on structural entailment relations (Q798645) (← links)
- Logical matrices and the amalgamation property (Q800348) (← links)
- Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic (Q800356) (← links)
- Many-valued computational logics (Q912083) (← links)
- The logic of algebraic rules as a generalization of equational logic (Q1065789) (← links)
- Filter distributive logics (Q1066139) (← links)
- Semantic alternatives in partial Boolean quantum logic (Q1071021) (← links)
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra (Q1073065) (← links)
- Matrices, primitive satisfaction and finitely based logics (Q1080413) (← links)
- Algebraic aspects of deduction theorems (Q1087867) (← links)
- On two problems of Harvey Friedman (Q1140629) (← links)
- Reduced products of logical matrices (Q1145134) (← links)
- An example of strongly finite consequence operation with \(2^ (\aleph_ 0)\) standard strengthenings (Q1153076) (← links)
- Equationally definable implication algebras for orthomodular lattices (Q1153907) (← links)
- The degrees of maximality of the intuitionistic propositional logic and of some of its fragments (Q1159192) (← links)
- Equivalential logics. I (Q1159628) (← links)
- The lattice of strengthenings of a strongly finite consequence operation (Q1161517) (← links)
- 2-element matrices (Q1168307) (← links)
- Strong versus weak quantum consequence operations (Q1194110) (← links)
- The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness (Q1214909) (← links)
- A representation theorem for the lattice of standard consequence operations (Q1221089) (← links)
- S-algebras and the degrees of maximality for three and four valued logics of Lukasiewicz (Q1229699) (← links)
- Degrees of maximality of Łukasiewicz-like sentential calculi (Q1239151) (← links)
- On structural completeness of many-valued logics (Q1252341) (← links)
- On three-valued implicative systems (Q1253653) (← links)
- The existence of matrices strongly adequate for E, R and their fragments (Q1259580) (← links)
- Algebraic study of Sette's maximal paraconsistent logic (Q1344874) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Characterizing finite-valuedness (Q1795205) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- An approach to uncertainty via sets of truth values (Q1903588) (← links)
- Adjoint interpretations of sentential calculi (Q2266005) (← links)
- Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach (Q2506098) (← links)
- Logics preserving degrees of truth (Q2639042) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- The deduction theorem for quantum logic—some negative results (Q3480040) (← links)
- An abstract algebraic logic approach to tetravalent modal logics (Q4508244) (← links)
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond (Q4531578) (← links)
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY (Q5216975) (← links)
- On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences (Q5291830) (← links)
- Protoalgebraic logics (Q6364601) (← links)
