Pages that link to "Item:Q1188523"
From MaRDI portal
The following pages link to Theory of logical calculi. Basic theory of consequence operations (Q1188523):
Displaying 50 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- On rules (Q266650) (← links)
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
- Consequence relations and admissible rules (Q300835) (← links)
- Bilattices with implications (Q368472) (← links)
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Abstract valuation semantics (Q368484) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- What is relevance logic? (Q392272) (← links)
- Hilbert-style presentations of two logics associated to tetravalent modal algebras (Q456967) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Zolin and Pizzi: defining necessity from noncontingency (Q485619) (← links)
- The logical structure of truthmaking (Q496319) (← links)
- The expressive unary truth functions of \(n\)-valued logic (Q558444) (← links)
- Fregean logics (Q598302) (← links)
- The quasi-lattice of indiscernible elements (Q631517) (← links)
- Referentiality and matrix semantics (Q633163) (← links)
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- Synchronized linear-time temporal logic (Q647400) (← links)
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- Consequence and interpolation in Łukasiewicz logic (Q647417) (← links)
- An essay on resolution logics (Q687163) (← links)
- Minimally congruential contexts: observations and questions on embedding E in K (Q691133) (← links)
- An intriguing logic with two implicational connectives (Q698537) (← links)
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- An approach to Glivenko's theorem in algebraizable logics (Q931403) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Equivalents for a quasivariety to be generated by a single structure (Q1005982) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- The slingshot argument and sentential identity (Q1015494) (← links)
- Multi-valued semantics: why and how (Q1037597) (← links)
- Beyond three inferential values (Q1037599) (← links)
- What is a non-truth-functional logic? (Q1037600) (← links)
- A resolution framework for finitely-valued first-order logics (Q1185455) (← links)
- Resolution approximation of first-order logics (Q1187026) (← links)
- Algebraic logic for classical conjunction and disjunction (Q1189892) (← links)
- The lattice of distributive closure operators over an algebra (Q1208109) (← links)
- Axiomatization of semigroup consequences (Q1263575) (← links)
- Singulary extensional connectives: A closer look (Q1362590) (← links)
- Synonymous logics (Q1404389) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
