Disjunctive and conjunctive multiple-conclusion consequence relations

DOI10.1007/s11225-019-09889-8zbMath1484.03015OpenAlexW2991729887WikidataQ126630618 ScholiaQ126630618MaRDI QIDQ2027207

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

Galois connectionclosure operationclosure systemmultiple-conclusion consequence relation

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory of logical calculi. Basic theory of consequence operations
• Lattices and ordered algebraic structures
• Key notions of Tarski's methodology of deductive systems
• Untersuchungen über das logische Schliessen. I
• A system for proper multiple-conclusion entailment
• What is Logic?
• Equivalence of consequence relations: an order-theoretic and categorical perspective
• A Syntactic Approach to Closure Operation
• Biclosed binary relations and Galois connections

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