Hierarchies of Partially Ordered Connectives and Quantifiers
From MaRDI portal
Publication:4304113
DOI10.1002/malq.19930390134zbMath0804.03026MaRDI QIDQ4304113
Publication date: 22 January 1995
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19930390134
03C80: Logic with extra quantifiers and operators
Related Items
Henkin quantifiers and the definability of truth, Independence-friendly logic without Henkin quantification, Truth and definite truth, Partially ordered connectives and monadic monotone strict NP, IF-logic and truth-definition, Generalized quantifiers in dependence logic
Cites Work