Indicative propositions.
Kurzer Weg zur Bestimmung der durch eine Aussageverbindung dargestellten Wahrheitsfunktion.
La créativité des définitions dans les systèmes para-euclidiens
Cet article considère trois sortes de calcul propositionnel (mais surtout la troisième), à la fois d'un point de vue logique et d'un point de vue épistémologique : (1) les systèmes classiques qui ont les propriétés suivantes : (a) chaque axiome doit contenir seulement (ou doit être compris comme contenant seulement) des termes primitifs, (b) chaque définition est métalinguistique, (c) chaque définition est non créatrice ; (2) les systèmes de Leśnieswski qui satisfont (a) mais ni (b) ni (c), une...
Le texte philosophique comme lieu d'étude sur la logique usuelle
Measures of centrality and complexity for partial propositional calculi.
Několik cest k minimalizaci výrokových forem
On decidability of one class of boolean formulas
On information storage and retrieval systems
On logical wholeness of an (axiomatic) formal theory
On the axiomatisation of Boolean categories with and without medial.
On the decidability of p', p'' and p''*.
On The Exponential Properties Of The Implication
On the exponential properties of the implication.
On the restricted equivalence for subclasses of propositional logic
One of the Possible Formal Desribtions of Deducubility
Problém obecného pojetí metody GUHA
Propositional calculus proving methods in Prolog
Smooth and sharp thresholds for random -XOR-CNF satisfiability
The aim of this paper is to study the threshold behavior for the satisfiability property of a random -XOR-CNF formula or equivalently for the consistency of a random Boolean linear system with variables per equation. For we show the existence of a sharp threshold for the satisfiability of a random -XOR-CNF formula, whereas there are smooth thresholds for and .
Solving algebraic problems in propositional logic by tableau.
Some Remarks on Reproductive Solutions