Disjunctive Multiple-Conclusion Consequence Relations

DOI10.18778/0138-0680.48.4.05zbMath1446.06007OpenAlexW3006599641MaRDI QIDQ5126201

Marek Nowak

Publication date: 15 October 2020

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.48.4.05

zbMATH Keywords

Galois connectionclosure operationmultiple-conclusion consequence relation

Mathematics Subject Classification ID

Many-valued logic (03B50) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Cites Work

• Lattices and ordered algebraic structures
• Untersuchungen über das logische Schliessen. I
• Remarks on the Scott-Lindenbaum theorem
• A system for proper multiple-conclusion entailment
• Biclosed binary relations and Galois connections
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Disjunctive Multiple-Conclusion Consequence Relations