An experimental study of classical truth logic on multi-propositions consistent and incompatible: Dual-process theories and modal syllogistic of deduction. [PDF]
PLoS OneWaheed S, Waheed A, Habib S.
europepmc +2 more sources
Modeling and Classical Propositional Logic
, 2019 Mon domaine de recherche se concentre sur l'intelligence artificielle, avec un accent particulier sur l'application des logiques formelles et d'autres formalismes symboliques similaires pour aborder divers enjeux. Ce travail s'articule autour de deux axes majeurs : la fouille de données via des méthodes déclaratives et la représentation des ...
Yakoub Salhi
openaire +3 more sources
Uniqueness of axiomatic extensions of cut-free classical propositional logic
Logic Journal of the IGPL, 2016 M. Piazza, G. Pulcini
semanticscholar +3 more sources
In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
Annals of Pure and Applied Logic, 2012 Antoine Genitrini, J. Kozik
semanticscholar +3 more sources
Modelling practical certainty and its link with classical propositional logic [PDF]
, 2013 We model practical certainty in the language of accept & reject statement-based uncertainty models. We present three different ways, each time using a different nature of assessment: we study coherent models following from (i) favourability assessments, (
Arthur Van Camp
openalex +3 more sources
On density of truth of the intuitionistic logic in one variable [PDF]
Discrete Mathematics & Theoretical Computer Science, 2008 In this paper we focus on the intuitionistic propositional logic with one propositional variable. More precisely we consider the standard fragment $\{ \to ,\vee ,\bot \}$ of this logic and compute the proportion of tautologies among all formulas.
Zofia Kostrzycka
doaj +1 more source
On the Succinctness of Atoms of Dependency [PDF]
Logical Methods in Computer Science, 2019 Propositional team logic is the propositional analog to first-order team logic. Non-classical atoms of dependence, independence, inclusion, exclusion and anonymity can be expressed in it, but for all atoms except dependence only exponential translations ...
Martin Lück, Miikka Vilander
doaj +1 more source
Maximality of bi-intuitionistic propositional logic [PDF]
Journal of Logic and Computation, 2021 In the style of Lindström’s theorem for classical first-order logic, this article characterizes propositional bi-intuitionistic logic as the maximal (with respect to expressive power) abstract logic satisfying a certain form of compactness, the Tarski ...
Grigory K. Olkhovikov, Guillermo Badia
semanticscholar +1 more source
Fullness and Decidability in Continuous Propositional Logic
Mathematics, 2022 In this paper we consider general continuous propositional logics and prove some basic properties about them. First, we characterize full systems of continuous connectives of the form {¬,∸,f} where f is a unary connective.
Xuanzhi Ren
doaj +1 more source
Axiomatizations for propositional and modal team logic [PDF]
, 2016 A framework is developed that extends Hilbert-style proof systems for propositional and modal logics to comprehend their team-based counterparts. The method is applied to classical propositional logic and the modal logic K.
Lück, Martin
core +5 more sources