The following pages link to Simple consequence relations (Q809992):
Displaying 50 items.
- Consequence relations and admissible rules (Q300835) (← links)
- A defeasible reasoning model of inductive concept learning from examples and communication (Q359991) (← links)
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Using typed lambda calculus to implement formal systems on a machine (Q688571) (← links)
- Theo: An interactive proof development system (Q688727) (← links)
- Cut-elimination and quantification in canonical systems (Q817707) (← links)
- Inferences and metainferences in \(\mathsf{ST}\) (Q830390) (← links)
- The proof monad (Q974136) (← links)
- Multi-valued semantics: why and how (Q1037597) (← links)
- The semantics and proof theory of linear logic (Q1106836) (← links)
- Nonmonotonic reasoning, preferential models and cumulative logics (Q1174512) (← links)
- Gentzen-type systems, resolution and tableaux (Q1311413) (← links)
- Set-theoretical and other elementary models of the \(\lambda\)-calculus (Q1314361) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- A note on contraction-free logic for validity (Q1708464) (← links)
- Combining classical logic, paraconsistency and relevance (Q1775868) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- On negation: Pure local rules (Q1775871) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions (Q1854404) (← links)
- What is a logic translation? (Q1931306) (← links)
- Structural weakening and paradoxes (Q1982021) (← links)
- Hopeful monsters: a note on multiple conclusions (Q2052149) (← links)
- Basing sequent systems on exclusive-or (Q2142068) (← links)
- Proof theory of paraconsistent weak Kleene logic (Q2193974) (← links)
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication (Q2243548) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- What is the logic of inference? (Q2426732) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates (Q2679576) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES (Q2940880) (← links)
- Does the Implication Elimination Rule Need a Minor Premise? (Q3121971) (← links)
- A Critical Overview of the Most Recent Logics of Grounding (Q3295827) (← links)
- What is a Paraconsistent Logic? (Q3305335) (← links)
- ST, LP and Tolerant Metainferences (Q3305673) (← links)
- Relevant Connexive Logic (Q3387887) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- Strict Canonical Constructive Systems (Q3585998) (← links)
- Reasoning with different levels of uncertainty (Q3643259) (← links)
- What is an inference rule? (Q4032879) (← links)
- A natural deduction approach to dynamic logic (Q4647578) (← links)
- Equivalences between logics and their representing type theories (Q4862761) (← links)
- Disjoint Logics (Q5013619) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
