A theory of properties

DOI10.2307/2274394zbMATH Open0629.03007OpenAlexW1982339894MaRDI QIDQ3765745FDOQ3765745

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

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

zbMATH Keywords

natural language semanticstheory of properties

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (15)

• Two Impredicative Theories of Properties and Sets
• Title not available (Why is that?)
• Property theory and the revision theory of definitions
• A basic theory with predicates
• 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
• Constructing a normal form for property theory
• LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR
• Title not available (Why is that?)
• 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)