First-order implication-space semantics

DOI10.1007/S10992-026-09841-XMaRDI QIDQ7302264zbMATH OpenFDO

Authors Ulf Hlobil

Publication date 22 July 2026

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10992-026-09841-X

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• General patterns for nonmonotonic reasoning: from basic entailments to plausible relations
• Linear logic
• Multiple conclusions
• Sequent calculi for first-order ST
• Tolerant, classical, strict
• Truth values and proof theory
• Why conclusions should remain single

This page was built for publication: First-order implication-space semantics

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