Inclusive first-order logic

DOI10.1007/BF01837552zbMath0468.03043OpenAlexW2007795240MaRDI QIDQ1156130

Roch Ouellet

Publication date: 1981

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01837552

zbMATH Keywords

Kripke structuresfree logicssaturated theoryfirst-order language with levelsinclusive logictransformations on variables

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (2)

Presenting functors on many-sorted varieties and applications ⋮ A categorical approach to polyadic algebras

Cites Work

• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• On the rules of proof in the pure functional calculus of the first order
• Quantification theory and empty individual-domains
• Quantification and the empty domain

This page was built for publication: Inclusive first-order logic