Supra-logic: using transfinite type theory with type variables for paraconsistency

DOI10.3166/JANCL.15.45-58zbMath1185.03051OpenAlexW1972314898MaRDI QIDQ3647220

Jørgen Villadsen

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.15.45-58

zbMATH Keywords

higher-order logicmany-valued logicparaconsistent logictransfinite type theory

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (1)

Unnamed Item

Uses Software

• Isabelle
• TPS
• Isabelle/HOL
• ETPS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On partial and paraconsistent logics
• TPS: A theorem-proving system for classical type theory
• A transfinite type theory with type variables
• Time-Series Analysis of the German Hyperinflation
• A formulation of the simple theory of types

This page was built for publication: Supra-logic: using transfinite type theory with type variables for paraconsistency