PARTIALLY ORDERED CONNECTIVES
From MaRDI portal
Publication:4295216
DOI10.1002/malq.19920380134zbMath0798.03040OpenAlexW1968832914MaRDI QIDQ4295216
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
infinitary logicexpressive powerEhrenfeucht gamesundefinabilitypartially ordered quantificationcoherent theory of partially ordered connectives
Related Items
Boolean dependence logic and partially-ordered connectives, Truth and definite truth, Henkin quantifiers and the definability of truth, IF-logic and truth-definition, Partially ordered connectives and monadic monotone strict NP, Good-for-Game QPTL: An Alternating Hodges Semantics