Formal Theories of Occurrences and Substitutions

Bulletin of Symbolic Logic 28 (2):261-263 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2021.53

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic.Albert Visser - 2006 - Notre Dame Journal of Formal Logic 47 (3):299-309.
Modeling occurrences of objects in relations.Joop Leo - 2010 - Review of Symbolic Logic 3 (1):145-174.
Linear explicit substitutions.N. Ghani, V. de Paiva & E. Ritter - 2000 - Logic Journal of the IGPL 8 (1):7-31.
Martin-Löf Type Theory as a Multi-Agent Epistemic Formal System.Andrei V. Rodin - 2018 - Epistemology and Philosophy of Science 55 (4):44-47.
Formal Theories of Truth.Jc Beall, Michael Glanzberg & David Ripley - 2018 - Oxford: Oxford University Press. Edited by Michael Glanzberg & David Ripley.
A calculus of substitutions for DPL.C. Vermeulen - 2001 - Studia Logica 68 (3):357-387.
On Occurrences of Types in Types.Wayne A. Davis - 2014 - Australasian Journal of Philosophy 92 (2):349-363.
Classes of universal decision elements using negative substitutions.J. C. Muzio - 1979 - Notre Dame Journal of Formal Logic 20 (2):314-320.
A note on substitutions in representable cylindric algebras.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (3):280-287.
Bridging de Bruijn indices and variable names in explicit substitutions calculi.F. Kamareddine & A. Ríos - 1998 - Logic Journal of the IGPL 6 (6):843-874.
Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.
Structural completeness in propositional logics of dependence.Rosalie Iemhoff & Fan Yang - 2016 - Archive for Mathematical Logic 55 (7-8):955-975.
A Formal Semantics for Some Discourse Anaphora.Jeffrey C. King - 1985 - Dissertation, University of California, San Diego
Supposition and Signification: An Examination of Ockham's Theory of Reference.Michael Joseph Fitzgerald - 1982 - Dissertation, Rutgers the State University of New Jersey - New Brunswick
Occurrences, Pseudo-Occurrences, Propositions, and Individuals.Toomas Karmo - 1979

Analytics

Added to PP
2022-06-28

Downloads
15 (#923,100)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references