The following pages link to (Q3268305):
Displaying 50 items.
- Abstract valuation semantics (Q368484) (← links)
- What is relevance logic? (Q392272) (← links)
- Constructing natural extensions of propositional logics (Q514508) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Possible worlds in use (Q647416) (← links)
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- Logical matrices and non-structural consequence operators (Q792325) (← links)
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM (Q793002) (← links)
- That SCI has the interpolation property (Q800345) (← 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)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Many-valued computational logics (Q912083) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- An approach to Glivenko's theorem in algebraizable logics (Q931403) (← links)
- Equivalents for a quasivariety to be generated by a single structure (Q1005982) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- Multi-valued semantics: why and how (Q1037597) (← links)
- What is a non-truth-functional logic? (Q1037600) (← links)
- On finite approximability of psi-intermediate logics (Q1054716) (← links)
- On the degree of complexity of sentential logics. II: An example of the logic with semi-negation (Q1061118) (← links)
- Filter distributive logics (Q1066139) (← links)
- Algebraic aspects of deduction theorems (Q1087867) (← links)
- Remarks on a survey article on many valued logic by A. Urquhart (Q1100190) (← links)
- Reduced products of logical matrices (Q1145134) (← links)
- An example of strongly finite consequence operation with \(2^ (\aleph_ 0)\) standard strengthenings (Q1153076) (← links)
- The degrees of maximality of the intuitionistic propositional logic and of some of its fragments (Q1159192) (← links)
- The lattice of strengthenings of a strongly finite consequence operation (Q1161517) (← links)
- On the degree of complexity of sentential logics. A couple of examples (Q1163542) (← links)
- Equivalential logics. II (Q1167714) (← links)
- 2-element matrices (Q1168307) (← links)
- On structural completeness of implicational logics (Q1181489) (← links)
- A resolution framework for finitely-valued first-order logics (Q1185455) (← links)
- A perspective on modal sequent logic (Q1187165) (← links)
- Algebraic logic for classical conjunction and disjunction (Q1189892) (← links)
- The lattice of distributive closure operators over an algebra (Q1208109) (← links)
- The deduction theorem for Lukasiewicz many-valued propositional calculi (Q1211488) (← links)
- On certain connections between consequence, inconsistency and completeness (Q1212455) (← 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 review of some problems of the logic of questions (Q1218843) (← links)
- Some remarks on the concept of completeness of the propositional calculus. I (Q1219263) (← links)
- A note on direct products and ultraproducts of logical matrices (Q1219879) (← links)
- Matrix approach in methodology of sentential calculi (Q1229698) (← links)
- Proof of structural completeness of a certain class of implicative propositional calculi (Q1232282) (← links)
- Connections between some notions of completeness of structural propositional calculi (Q1233021) (← links)
- A strongly finite logic with infinite degree of maximality (Q1245929) (← links)
- On finitely based consequence operations (Q1245930) (← links)
- On structural completeness of many-valued logics (Q1252341) (← links)
- On three-valued implicative systems (Q1253653) (← links)
