Pages that link to "Item:Q5019131"
From MaRDI portal
The following pages link to Consistency and Decidability in Some Paraconsistent Arithmetics (Q5019131):
Displaying 5 items.
- Limits for paraconsistent calculi (Q701299) (← links)
- Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints (Q2841258) (← links)
- Paraconsistent arithmetic with a local consistency operator and global selfreference (Q2863910) (← links)
- Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity (Q3387886) (← links)
- Decidability and Specker sequences in intuitionistic mathematics (Q3650323) (← links)