An extended propositional logic for incomplete knowledge

DOI10.1007/S11565-011-0123-7MaRDI QIDQ1762230zbMATH OpenOpenAlexFDO

Authors Mariano Giaquinta, Giuseppe Modica, Jiří Souček

Publication date 15 November 2012

Published in Annali dell'Università di Ferrara. Sezione VII. Scienze Matematiche (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11565-011-0123-7

zbMATH Keywords

propositional logicincomplete knowledge

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Cites work

• An introduction to many-valued and fuzzy logic. Semantics, algebras, and derivation systems
• Introduction to mathematical logic

Cited in

(6)

• A new kind of implication to reason with unknown information
• An inference system of an extension of Floyd-Hoare logic for partial predicates
• Partial logics with two kinds of negation as a foundation for knowledge-based reasoning
• scientific article; zbMATH DE number 1844516 (Why is no real title available?)
• scientific article; zbMATH DE number 4094860 (Why is no real title available?)
• scientific article; zbMATH DE number 3639591 (Why is no real title available?)

This page was built for publication: An extended propositional logic for incomplete knowledge

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