Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal
Publication:3367515

zbMath1084.03015MaRDI QIDQ3367515

João Marcos

Publication date: 24 January 2006


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (22)

Negative modalities, consistency and determinednessOn correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logicsО выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDEA characterisation of some \(\mathbf{Z}\)-like logicsLogics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2Compositional meaning in logicSequent systems for negative modalitiesDefining LFIs and LFUs in extensions of infectious logicsLOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNTNegative Modalities in the Light of ParaconsistencyMeasuring evidence: a probabilistic approach to an extension of Belnap-Dunn logicConnexive negationOn the question of the criteria for the paracompleteness of logicsThe single-minded pursuit of consistency and its weaknessVariations on the Collapsing LemmaWeakening and extending \(\mathbb{Z}\)Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absolutenessAn epistemic approach to paraconsistency: a logic of evidence and truthOn the Philosophy and Mathematics of the Logics of Formal InconsistencyValuation semantics for first-order logics of evidence and truthParaconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebrasFirst-order logics of evidence and truth with constant and variable domains




This page was built for publication: