Simple consequence relations

DOI10.1016/0890-5401(91)90023-UMaRDI QIDQ809992zbMATH OpenOpenAlexFDO

Authors Arnon Avron

Publication date 1991

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0890-5401(91)90023-u

zbMATH Keywords

linear logiclogical connectivesmultiple sequent calculi

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22)

Recommendations

• scientific article; zbMATH DE number 3916222
• Publication:4942674
• scientific article; zbMATH DE number 218517
• Intelim rules for classical connectives
• On the computational representation of classical logical connectives

Cites work

• scientific article; zbMATH DE number 3936465 (Why is no real title available?)
• scientific article; zbMATH DE number 3941494 (Why is no real title available?)
• scientific article; zbMATH DE number 4055576 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 1028823 (Why is no real title available?)
• scientific article; zbMATH DE number 1852923 (Why is no real title available?)
• scientific article; zbMATH DE number 1852926 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• scientific article; zbMATH DE number 3077773 (Why is no real title available?)
• A constructive analysis of RM
• A logic covering undefinedness in program proofs
• A natural extension of natural deduction
• Display logic
• Gentzenizing Schroeder-Heister's natural extension of natural deduction
• On an implication connective of RM
• Proof theory
• Relevant entailment—semantics and formal systems
• Rules and Derived Rules
• Semantical investigations in Heyting's intuitionistic logic
• Sequent-systems for modal logic
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The semantics and proof theory of linear logic
• What is Logic?

Cited in

(60)

• Gentzen-type systems, resolution and tableaux
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• Theo: An interactive proof development system
• A family of metainferential logics
• Logical consequence and the paradoxes
• A practical implementation of simple consequence relations using inductive definitions
• Proof theory of paraconsistent weak Kleene logic
• Does the implication elimination rule need a minor premise?
• Inferences and metainferences in \(\mathsf{ST}\)
• Consequence relations and admissible rules
• The semantics and proof theory of linear logic
• The proof monad
• Nonmonotonic reasoning, preferential models and cumulative logics
• On extensibility of proof checkers
• Logical systems for structured specifications.
• A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
• A Critical Overview of the Most Recent Logics of Grounding
• Combining classical logic, paraconsistency and relevance
• Cut-elimination and quantification in canonical systems
• A natural deduction approach to dynamic logic
• Anti-intuitionism and paraconsistency
• What is a paraconsistent logic?
• ST, LP and tolerant metainferences
• Basing sequent systems on exclusive-or
• A fully classical truth theory characterized by substructural means
• Naive truth and naive logical properties
• On negation: Pure local rules
• scientific article; zbMATH DE number 3916222 (Why is no real title available?)
• Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
• A note on contraction-free logic for validity
• On the formalization of the modal -calculus in the calculus of inductive constructions
• Relevant connexive logic
• Multi-valued semantics: why and how
• The expressive power of Structural Operational Semantics with explicit assumptions
• Hopeful monsters: a note on multiple conclusions
• Consequence-inconsistency interrelation: in the framework of paraconsistent logics
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Equivalences between logics and their representing type theories
• What is an inference rule?
• Relevant consequence relations: an invitation
• Strict canonical constructive systems
• What is a logic translation?
• An abstract approach to consequence relations
• A defeasible reasoning model of inductive concept learning from examples and communication
• Logicality, double-line rules, and modalities
• Tutorial on admissible rules in Gudauri
• Reasoning with different levels of uncertainty
• Axiomatizing non-deterministic many-valued generalized consequence relations
• Disjoint logics
• A simple logical matrix and sequent calculus for Parry's logic of analytic implication
• Structured theory presentations and logic representations
• What is the logic of inference?
• A survey of nonstandard sequent calculi
• Does the deduction theorem fail for modal logic?
• Eliminating disjunctions by disjunction elimination
• Proof-search in type-theoretic languages: An introduction
• Using typed lambda calculus to implement formal systems on a machine
• Eliminating disjunctions by disjunction elimination
• The original sin of proof-theoretic semantics
• Structural weakening and paradoxes

This page was built for publication: Simple consequence relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q809992)