On the (In)Dependence of the Peano Axioms for Natural Numbers

Título:

On the (In)Dependence of the Peano Axioms for Natural Numbers

Autor:

Jorge Petrúcio Viana

Ano:

2021

DOI:

10.1080/01445340.2021.1971005

Revista:

HISTORY AND PHILOSOPHY OF LOGIC

ISSN:

01445340

Home:

[http://https://www.tandfonline.com/doi/full/10.1080/01445340.2021.1971005]

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

Positive Fork Graph Calculus

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

Decomposition by maxclique separators

On Graph Reasoning

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

Set Venn Diagrams Applied to Inclusions and Non-inclusions

Introducing Polymodal Neighbourhood Logics

On characterizations by nice forbidding sets

On admissible orders over closed subintervals of [0,1]

Schematic systems