Graduate studies at Western
Studia Logica 41 (2-3):181 - 195 (1982)
|Abstract||The propositional fragment L 1 of Leniewski's ontology is the smallest class (of formulas) containing besides all the instances of tautology the formulas of the forms: (a, b) (a, a), (a, b) (b,). (a, c) and (a, b) (b, c). (b, a) being closed under detachment. The purpose of this paper is to furnish another more constructive proof than that given earlier by one of us for: Theorem A is provable in L 1 iff TA is a thesis of first-order predicate logic with equality, where T is a translation of the formulas of L 1 into those of first-order predicate logic with equality such that T(a, b) = FblxFax (Russeltian-type definite description), TA B = TA TB, T A = TA, etc.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Balder ten Cate (2006). Expressivity of Second Order Propositional Modal Logic. Journal of Philosophical Logic 35 (2):209 - 223.
Roman Kontchakov, Carsten Lutz, Frank Wolter & Michael Zakharyaschev (2004). Temporalising Tableaux. Studia Logica 76 (1):91 - 134.
Nino B. Cocchiarella (2001). A Conceptualist Interpretation of Lesniewski's Ontology. History and Philosophy of Logic 22 (1):29-43.
V. A. Smirnov (1983). Embedding the Elementary Ontology of Stanisław Leśniewski Into the Monadic Second-Order Calculus of Predicates. Studia Logica 42 (2-3):197 - 207.
Grigori Mints (1993). Resolution Calculus for the First Order Linear Logic. Journal of Logic, Language and Information 2 (1):59-83.
Arata Ishimoto (1997). Logicism Revisited in the Propositional Fragment of Le'sniewski's Ontology. In Evandro Agazzi & György Darvas (eds.), Philosophy of Mathematics Today. Kluwer.
Morten H. Sørensen & Paweł Urzyczyn (2010). A Syntactic Embedding of Predicate Logic Into Second-Order Propositional Logic. Notre Dame Journal of Formal Logic 51 (4):457-473.
Giorgie Dzhaparidze (1991). Predicate Provability Logic with Non-Modalized Quantifiers. Studia Logica 50 (1):149 - 160.
Arata Ishimoto (1977). A Propositional Fragment of Leśniewski's Ontology. Studia Logica 36 (4):285-299.
Added to index2009-01-28
Total downloads4 ( #188,971 of 722,947 )
Recent downloads (6 months)0
How can I increase my downloads?