PARTIALLY ORDERED CONNECTIVES

DOI10.1002/MALQ.19920380134MaRDI QIDQ4295216zbMATH OpenOpenAlexFDO

Authors Gabriel Sandu, Jouko Väänänen

Publication date 8 June 1994

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19920380134

zbMATH Keywords

coherent theory of partially ordered connectivesEhrenfeucht gamesexpressive powerinfinitary logicpartially ordered quantificationundefinability

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Recommendations

• Hierarchies of Partially Ordered Connectives and Quantifiers
• scientific article; zbMATH DE number 1293817
• scientific article; zbMATH DE number 863477
• Partially Ordered Sets
• Partially Ordered Sets
• Partially-ordered modalities
• Quantifiers determined by partial orderings
• Partially ordered models
• scientific article; zbMATH DE number 702028

Cited in

(11)

• Partially ordered connectives and monadic monotone strict NP
• IF-logic and truth-definition
• Boolean dependence logic and partially-ordered connectives
• A property of sentences that define quasi-order
• Hierarchies of Partially Ordered Connectives and Quantifiers
• scientific article; zbMATH DE number 1163943 (Why is no real title available?)
• Good-for-Game QPTL: An Alternating Hodges Semantics
• Logical Approaches to Computational Barriers
• Henkin quantifiers and the definability of truth
• Almost connected orders
• Truth and definite truth

This page was built for publication: PARTIALLY ORDERED CONNECTIVES

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