Disjunctive multiple-conclusion consequence relations

DOI10.18778/0138-0680.48.4.05MaRDI QIDQ5126201zbMATH OpenOpenAlexFDO

Authors Marek Nowak

Publication date 15 October 2020

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

closure operationGalois connectionmultiple-conclusion consequence relation

Mathematics Subject Classification ID

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

Recommendations

• Disjunctive and conjunctive multiple-conclusion consequence relations
• scientific article; zbMATH DE number 4189691
• Publication:3475254
• Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
• An abstract approach to consequence relations

Cites work

• A system for proper multiple-conclusion entailment
• Biclosed binary relations and Galois connections
• 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?)
• Lattices and ordered algebraic structures
• Remarks on the Scott-Lindenbaum theorem
• Untersuchungen über das logische Schliessen. I

Cited in

(10)

• Disjunctive and conjunctive multiple-conclusion consequence relations
• scientific article; zbMATH DE number 3891329 (Why is no real title available?)
• Pivotal and Pivotal-discriminative Consequence Relations
• scientific article; zbMATH DE number 4143956 (Why is no real title available?)
• scientific article; zbMATH DE number 6108197 (Why is no real title available?)
• DISJUNCTIVITY
• Disjunctive Rule Lists
• An abstract approach to consequence relations
• Triconsequences
• scientific article; zbMATH DE number 4189691 (Why is no real title available?)

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

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