Disjunctive and conjunctive multiple-conclusion consequence relations

DOI10.1007/S11225-019-09889-8MaRDI QIDQ2027207zbMATH OpenOpenAlexWikidataFDO

Authors Marek Nowak

Publication date 25 May 2021

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-019-09889-8

zbMATH Keywords

closure operationclosure systemGalois connectionmultiple-conclusion consequence relation

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Abstract deductive systems (03B22) Logical aspects of lattices and related structures (03G10) Abstract algebraic logic (03G27)

Recommendations

• Disjunctive multiple-conclusion consequence relations
• Multiple conclusion rules in logics with the disjunction property
• Generalized conjunction/disjunction
• Deductive systems with multiple-conclusion rules and the disjunction property
• scientific article; zbMATH DE number 5521458
• Representing conjunctive deductions by disjunctive deductions
• Conjunction, disjunction and iterated conditioning of conditional events
• scientific article; zbMATH DE number 500947
• Disjunctions, independence, refinements
• scientific article; zbMATH DE number 1406434

Cites work

• scientific article; zbMATH DE number 3891329 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 701387 (Why is no real title available?)
• scientific article; zbMATH DE number 2118880 (Why is no real title available?)
• scientific article; zbMATH DE number 3099236 (Why is no real title available?)
• A syntactic approach to closure operation
• A system for proper multiple-conclusion entailment
• Biclosed binary relations and Galois connections
• Equivalence of consequence relations: an order-theoretic and categorical perspective
• Key notions of Tarski's methodology of deductive systems
• Lattices and ordered algebraic structures
• Theory of logical calculi. Basic theory of consequence operations
• Untersuchungen über das logische Schliessen. I
• What is Logic?

Cited in

(19)

• A Proof of the Characterization Theorem for Consequence Relations
• scientific article; zbMATH DE number 6108197 (Why is no real title available?)
• A model theory of topology
• The proof by cases property and its variants in structural consequence relations
• Four consequence relations, three orders, two matrices, one bilattice
• Separating systems of conjunctions.
• Triconsequences
• Disjunctive multiple-conclusion consequence relations
• Deductive systems with multiple-conclusion rules and the disjunction property
• scientific article; zbMATH DE number 2150334 (Why is no real title available?)
• An elementary proof of the characterization theorem for conjunctive multiple-conclusion consequence relations
• Pivotal and Pivotal-discriminative Consequence Relations
• Beyond mixed logics
• An abstract approach to consequence relations
• Reading conclusions conjunctively
• Disjunctive Rule Lists
• scientific article; zbMATH DE number 4189691 (Why is no real title available?)
• Logics with disjunction and proof by cases
• scientific article; zbMATH DE number 4143956 (Why is no real title available?)

This page was built for publication: Disjunctive and conjunctive multiple-conclusion consequence relations

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