scientific article; zbMATH DE number 575581

MaRDI QIDQ4294471zbMATHFDO

Authors Jacek Geisler

Publication date 29 January 1995

zbMATH Keywords

semanticscompletenessparaconsistent logics based on the axioms of positive logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• Paraconsistent modal logic
• Four simple paralogics: semantics and sequent calculi
• scientific article; zbMATH DE number 1251244
• On genuine paraconsistent and genuine paracomplete newline many-valued logics
• Paraconsistency and paracompleteness

Cited in

(14)

• Minimal paradefinite logics for reasoning with incompleteness and inconsistency
• Equivalence among RC-type paraconsistent logics
• Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
• scientific article; zbMATH DE number 6407640 (Why is no real title available?)
• Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
• Genuine paracomplete logics
• Paraconsistency and paracompleteness
• Natural \(p\)-logics
• A Routley-Meyer semantics for Ackermann's logics of ``strenge Implikation
• scientific article; zbMATH DE number 4132132 (Why is no real title available?)
• Table-analytical axiomatizations of expansions of logic Par
• Paraconsistent modal logic
• Paraconsistent logics included in Lewis' S4
• Four simple paralogics: semantics and sequent calculi

This page was built for publication:

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