On non-deterministic quantification

DOI10.1007/S11787-014-0100-XMaRDI QIDQ2254562zbMATH OpenOpenAlexFDO

Authors Thomas Macaulay Ferguson

Publication date 5 February 2015

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-014-0100-x

zbMATH Keywords

non-deterministic logicnonclassical model theoryŁoś' theorem

Mathematics Subject Classification ID

Many-valued logic (03B50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Logical non-determinism as a tool for logical modularity: an introduction
• On the logic of nonmonotonic conditionals and conditional probabilities: Predicate logic
• Quantification in nonclassical logic. Volume I.
• scientific article; zbMATH DE number 4090838
• Fixed-point Logics with Nondeterministic Choice

Cites work

• scientific article; zbMATH DE number 1734464 (Why is no real title available?)
• scientific article; zbMATH DE number 1554144 (Why is no real title available?)
• scientific article; zbMATH DE number 4118333 (Why is no real title available?)
• Model Theory
• Non-deterministic Multiple-valued Structures
• On a generalization of quantifiers
• Systematization of finite many-valued logics through the method of tableaux

Cited in

(9)

• Monstrous content and the bounds of discourse
• Variations on the collapsing lemma
• Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case
• Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
• Plurivaluationism, semantic nondeterminism and communication
• On Ivlev's semantics for modality
• A Gödel-Dugundji-style theorem for the minimal structural logic
• Nondeterministic first-order T-BAT logic
• Boolean and modal connectives as primitives in non-deterministic semantics

This page was built for publication: On non-deterministic quantification

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