A theory of properties

DOI10.2307/2274394MaRDI QIDQ3765745zbMATH OpenOpenAlexFDO

Authors Raymond Turner

Publication date 1987

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274394

zbMATH Keywords

natural language semanticstheory of properties

Mathematics Subject Classification ID

Logic of natural languages (03B65) Nonclassical and second-order set theories (03E70)

Recommendations

• scientific article; zbMATH DE number 1028807
• scientific article; zbMATH DE number 1273689
• scientific article; zbMATH DE number 1290259
• scientific article; zbMATH DE number 4195909
• Publication:4715213
• Property theory and the revision theory of definitions
• A theory of propositions
• scientific article; zbMATH DE number 2152239
• scientific article; zbMATH DE number 1129148
• scientific article; zbMATH DE number 4039845

Cites work

• Notes on naive semantics
• Outline of a Theory of Truth
• Truth and paradox

Cited in

(15)

• Two Impredicative Theories of Properties and Sets
• scientific article; zbMATH DE number 4039845 (Why is no real title available?)
• A basic theory with predicates
• Property theory and the revision theory of definitions
• Property theory: The type-free approach \(v\). The Church approach
• A theory of aspects
• Theorem proving for intensional logic
• The fact semantics for ramified type theory and the axiom of reducibility
• LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR
• Constructing a normal form for property theory
• scientific article; zbMATH DE number 2152239 (Why is no real title available?)
• A logic of abstraction related to finite constructive number classes
• Toward useful type-free theories. I
• A simple type theory without Platonic domains
• Nominalization, predication and type containment

This page was built for publication: A theory of properties

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