Add to ORKGA formal axiomatised theory, as set out by Peter Smith, has three components: a formalised language, a decidable set of axioms, and a formalised proof-system. The language must consist of a finite set of symbols and have a defined syntax, according to which it is decidable what is a term or sentence of the language. The set of axioms will be a subset of the set of sentences constructable in the language, and it needs to be decidable what's an axiom. We must have a proof system whereby we can derive theorems from the axioms, and it must be decidable whether a given array of sentences does indeed constitute a proof in the theory
This article introduces propositional logic as a formal system ([14], [10], [11]). The formulae of t...
This paper develops and motivates a paraconsistent approach to semantic paradox from within a modest...
I provide an interpretation of Wittgenstein’s much criticised remarks on Gödel’s First Incompletenes...
Classical propositional logic can be characterized, indirectly, by means of a complementary formal s...
Abstract Using methods of abstract logic and the theory of valuation, we prove that there is no para...
Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of co...
Abstract Paraconsistent logics are generally considered somewhat esoteric. Moreover, some-one argued...
This paper is devoted to a consequence relation combining the negation of Classical Logic (CL) and a...
The Negation Problem states that expressivism has insufficient structure to account for the various ...
AbstractThis is an initial systematic study of the properties of negation from the point of view of ...
This book covers work written by leading scholars from different schools within the research area of...
This is an initial systematic study of the properties of negation from the point of view of abstract...
In models for paraconsistent logics, the semantic values of sentences and their negations are less t...
Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsi...
Apparently Ex Falso Quodlibet (or Explosion) cannot be isolated within CL (Classical Logic); if Expl...
This article introduces propositional logic as a formal system ([14], [10], [11]). The formulae of t...
This paper develops and motivates a paraconsistent approach to semantic paradox from within a modest...
I provide an interpretation of Wittgenstein’s much criticised remarks on Gödel’s First Incompletenes...
Classical propositional logic can be characterized, indirectly, by means of a complementary formal s...
Abstract Using methods of abstract logic and the theory of valuation, we prove that there is no para...
Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of co...
Abstract Paraconsistent logics are generally considered somewhat esoteric. Moreover, some-one argued...
This paper is devoted to a consequence relation combining the negation of Classical Logic (CL) and a...
The Negation Problem states that expressivism has insufficient structure to account for the various ...
AbstractThis is an initial systematic study of the properties of negation from the point of view of ...
This book covers work written by leading scholars from different schools within the research area of...
This is an initial systematic study of the properties of negation from the point of view of abstract...
In models for paraconsistent logics, the semantic values of sentences and their negations are less t...
Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsi...
Apparently Ex Falso Quodlibet (or Explosion) cannot be isolated within CL (Classical Logic); if Expl...
This article introduces propositional logic as a formal system ([14], [10], [11]). The formulae of t...
This paper develops and motivates a paraconsistent approach to semantic paradox from within a modest...
I provide an interpretation of Wittgenstein’s much criticised remarks on Gödel’s First Incompletenes...