First-Order Inquisitive Pair Logic

DOI10.1007/978-3-642-18026-2_13zbMath1303.03062OpenAlexW1589725381MaRDI QIDQ3063977

Katsuhiko Sano

Publication date: 17 December 2010

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18026-2_13

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

Related Items (3)

Weak negation in inquisitive semantics ⋮ Coherence in inquisitive first-order logic ⋮ Completeness for the classical antecedent fragment of inquisitive first-order logic

This page was built for publication: First-Order Inquisitive Pair Logic