Lifted inference with tree axioms

&
Artificial Intelligence 324 (C):103997 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2023.103997

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

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

Routes to triviality.Susan Rogerson & Greg Restall - 2004 - Journal of Philosophical Logic 33 (4):421-436.
Axioms and postulates: Finding the right match through logical inference.Niccolò Negro - 2022 - Behavioral and Brain Sciences 45.
Finite trees and the necessary use of large cardinals.Harvey Friedman - manuscript
Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
Aronszajn tree preservation and bounded forcing axioms.Gunter Fuchs - 2021 - Journal of Symbolic Logic 86 (1):293-315.
On Abducing the Axioms of Mathematics.Woosuk Park - 2021 - In John R. Shook & Sami Paavola (eds.), Abduction in Cognition and Action: Logical Reasoning, Scientific Inquiry, and Social Practice. Springer Verlag. pp. 161-175.
An axiomatic version of Fitch’s paradox.Samuel Alexander - 2013 - Synthese 190 (12):2015-2020.
Formale Logik. [REVIEW]B. B. J. - 1963 - Review of Metaphysics 16 (4):804-804.
For Oiva Ketonen's 85th birthday.Sara Negri & Jan von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
Definition 1.1. 1. A tree is a subset T of< such that for all∈ T, if∈< and⊆, then∈ T. 2. If T is a tree and S⊆ T is also a tree, we say that S is a subtree of T. 3. A tree T is bounded if there exists h:→ such that for all∈ T. [REVIEW]Joseph R. Mileti - 2005 - Bulletin of Symbolic Logic 11 (3).
On extremal axioms.Rudolf Carnap, Friedrich Bachmann & H. G. Bohnert - 1981 - History and Philosophy of Logic 2 (1-2):67-85.
An empiricist theory of knowledge.Bruce Aune - manuscript
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.
Dissolving the star-tree paradox.Bengt Autzen - 2016 - Biology and Philosophy 31 (3):409-419.
Independence of one system of axioms and rules of inference for the propositional calculas.N. Georgiewa - 1971 - Studia Logica 28 (1):70-70.

Analytics

Added to PP
2023-08-31

Downloads
5 (#1,546,261)

6 months
3 (#984,838)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references