Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

A remark on Henkin sentences and their contraries

From MaRDI portal
Publication:558741
Jump to:navigation, search

DOI10.1305/NDJFL/1091030856zbMath1071.03023OpenAlexW2061271212MaRDI QIDQ558741

John P. Burgess

Publication date: 13 July 2005

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1091030856


zbMATH Keywords

branching quantifiersHenkin sentences


Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)


Related Items (6)

Structural completeness in propositional logics of dependence ⋮ Equilibrium semantics of languages of imperfect information ⋮ Epistemic operators in dependence logic ⋮ Classical negation and game-theoretical semantics ⋮ Thompson transformations for IF-logic ⋮ Supervenience, Dependence, Disjunction




Cites Work

  • Finite Partially‐Ordered Quantifiers
  • Finite partially-ordered quantification
  • Unnamed Item
  • Unnamed Item




This page was built for publication: A remark on Henkin sentences and their contraries

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:558741&oldid=12449284"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 30 January 2024, at 07:13.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki