Results for 'Non-deterministic matrices'

967 found
Order:
  1.  20
    Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics.Ana Claudia de Jesus Golzio - 2022 - Bulletin of Symbolic Logic 28 (2):260-261.
  2.  59
    Finite non-deterministic semantics for some modal systems.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton M. Peron - 2015 - Journal of Applied Non-Classical Logics 25 (1):20-45.
    Trying to overcome Dugundji’s result on uncharacterisability of modal logics by finite logical matrices, Kearns and Ivlev proposed, independently, a characterisation of some modal systems by means of four-valued multivalued truth-functions , as an alternative to Kripke semantics. This constitutes an antecedent of the non-deterministic matrices introduced by Avron and Lev . In this paper we propose a reconstruction of Kearns’s and Ivlev’s results in a uniform way, obtaining an extension to another modal systems. The first part (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  3. Non-deterministic algebraization of logics by swap structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.
    Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  4.  45
    Non-deterministic Conditionals and Transparent Truth.Federico Pailos & Lucas Rosenblatt - 2015 - Studia Logica 103 (3):579-598.
    Theories where truth is a naive concept fall under the following dilemma: either the theory is subject to Curry’s Paradox, which engenders triviality, or the theory is not trivial but the resulting conditional is too weak. In this paper we explore a number of theories which arguably do not fall under this dilemma. In these theories the conditional is characterized in terms of non-deterministic matrices. These non-deterministic theories are similar to infinitely-valued Łukasiewicz logic in that they are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Non-deterministic semantics for cocanonical and semi-cocanonical deduction systems.Bruno Da Ré & Damian Szmuc - forthcoming - Journal of Logic and Computation.
    This article aims to dualize several results concerning various types (including possibly Cut-free and Identity-free systems) of canonical multiple-conclusion sequent calculi, i.e. Gentzen-style deduction systems for sequents, equipped with well-behaved forms of left and right introduction rules for logical expressions. In this opportunity, we focus on a different kind of calculi that we dub cocanonical, that is, Gentzen-style deduction systems for sequents, equipped with well-behaved forms of left and right elimination rules for logical expressions. These systems, simply put, have rules (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  42
    Axiomatizing non-deterministic many-valued generalized consequence relations.Sérgio Marcelino & Carlos Caleiro - 2019 - Synthese 198 (S22):5373-5390.
    We discuss the axiomatization of generalized consequence relations determined by non-deterministic matrices. We show that, under reasonable expressiveness requirements, simple axiomatizations can always be obtained, using inference rules which can have more than one conclusion. Further, when the non-deterministic matrices are finite we obtain finite axiomatizations with a suitable generalized subformula property.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  44
    Multi-valued Calculi for Logics Based on Non-determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.
    Non-deterministic matrices are multiple-valued structures in which the value assigned by a valuation to a complex formula can be chosen non-deterministically out of a certain nonempty set of options. We consider two different types of semantics which are based on Nmatrices: the dynamic one and the static one . We use the Rasiowa-Sikorski decomposition methodology to get sound and complete proof systems employing finite sets of mv-signed formulas for all propositional logics based on such structures with either of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  8.  47
    Modal logic with non-deterministic semantics: Part I—Propositional case.Marcelo E. Coniglio, Fariñas Del Cerro Luis & Marques Peron Newton - 2020 - Logic Journal of the IGPL 28 (3):281-315.
    Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices, in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the axiom was replaced by the deontic axiom. In this paper, we propose even weaker (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  32
    Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case.Marcelo E. Coniglio, Luis Fariñasdelcerro & Newton Marques Peron - 2022 - Logic Journal of the IGPL 30 (5):695-727.
    In the first part of this paper we analyzed finite non-deterministic matrix semantics for propositional non-normal modal logics as an alternative to the standard Kripke possible world semantics. This kind of modal system characterized by finite non-deterministic matrices was originally proposed by Ju. Ivlev in the 70s. The aim of this second paper is to introduce a formal non-deterministic semantical framework for the quantified versions of some Ivlev-like non-normal modal logics. It will be shown that several (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.Arnon Avron & Anna Zamansky - unknown
    An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of Gentzen-type systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a quantifier is introduced. The semantics for these systems is provided using two-valued non-deterministic matrices, a generalization of the classical matrix. In this paper we use a constructive syntactic criterion (...)
     
    Export citation  
     
    Bookmark  
  11. Logical Non-determinism as a Tool for Logical Modularity: An Introduction.Arnon Avron - unknown
    It is well known that every propositional logic which satisfies certain very natural conditions can be characterized semantically using a multi-valued matrix ([Los and Suszko, 1958; W´ ojcicki, 1988; Urquhart, 2001]). However, there are many important decidable logics whose characteristic matrices necessarily consist of an infinite number of truth values. In such a case it might be quite difficult to find any of these matrices, or to use one when it is found. Even in case a logic does (...)
     
    Export citation  
     
    Bookmark   5 citations  
  12. Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.Arnon Avron - unknown
    An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of Gentzen-type systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a quantifier is introduced. The semantics for these systems is provided using two-valued non-deterministic matrices, a generalization of the classical matrix. In this paper we use a constructive syntactic criterion (...)
     
    Export citation  
     
    Bookmark  
  13.  11
    Some More Theorems on Structural Entailment Relations and Non-deterministic Semantics.Carlos Caleiro, Sérgio Marcelino & Umberto Rivieccio - 2024 - In Jacek Malinowski & Rafał Palczewski, Janusz Czelakowski on Logical Consequence. Springer Verlag. pp. 345-375.
    We extend classical work by Janusz Czelakowski on the closure properties of the class of matrix models of entailment relations—nowadays more commonly called multiple-conclusion logics—to the setting of non-deterministic matrices (Nmatrices), characterizing the Nmatrix models of an arbitrary logic through a generalization of the standard class operators to the non-deterministic setting. We highlight the main differences that appear in this more general setting, in particular: the possibility to obtain Nmatrix quotients using any compatible equivalence relation (not necessarily (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  60
    Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton M. Peron - 2016 - Journal of Applied Non-Classical Logics 26 (4):336-345.
    In this note, an error in the axiomatization of Ivlev’s modal system Sa+ which we inadvertedly reproduced in our paper “Finite non-deterministic semantics for some modal systems”, is fixed. Additionally, some axioms proposed in were slightly modified. All the technical results in which depend on the previous axiomatization were also fixed. Finally, the discussion about decidability of the level valuation semantics initiated in is taken up. The error in Ivlev’s axiomatization was originally pointed out by H. Omori and D. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15. Towards an hyperalgebraic theory of non-algebraizable logics.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana C. Golzio - 2016 - CLE E-Prints 16 (4):1-27.
    Multialgebras (or hyperalgebras) have been very much studied in the literature. In the realm of Logic, they were considered by Avron and his collaborators under the name of non-deterministic matrices (or Nmatrices) as a useful semantics tool for characterizing some logics (in particular, several logics of formal inconsistency or LFIs) which cannot be characterized by a single finite matrix. In particular, these LFIs are not algebraizable by any method, including Blok and Pigozzi general theory. Carnielli and Coniglio introduced (...)
     
    Export citation  
     
    Bookmark   1 citation  
  16.  68
    Two Decision Procedures for da Costa’s CnC_n C n Logics Based on Restricted Nmatrix Semantics.Marcelo E. Coniglio & Guilherme V. Toledo - 2022 - Studia Logica 110 (3):601-642.
    Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between mbCcl and Cila. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only mbCcl and Cila (which is equivalent, up to language, to da Costa's logic C_1) but the whole (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  17. Swap structures semantics for Ivlev-like modal logics.Marcelo E. Coniglio & Ana Claudia Golzio - 2019 - Soft Computing 23 (7):2243-2254.
    In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  39
    From Inconsistency to Incompatibility.Marcelo E. Coniglio & Guilherme V. Toledo - 2023 - Logic and Logical Philosophy 32 (2):181-216.
    The aim of this article is to generalize logics of formal inconsistency (LFIs) to systems dealing with the concept of incompatibility, expressed by means of a binary connective. The basic idea is that having two incompatible formulas to hold trivializes a deduction, and as a special case, a formula becomes consistent (in the sense of LFIs) when it is incompatible with its own negation. We show how this notion extends that of consistency in a non-trivial way, presenting conservative translations for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  64
    Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.
    Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We show that all reasonable paraconsistent logics based on three-valued deterministic matrices are maximal in our strong sense. This (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  20.  32
    Non-transitive Correspondence Analysis.Yaroslav Petrukhin & Vasily Shangin - 2023 - Journal of Logic, Language and Information 32 (2):247-273.
    The paper’s novelty is in combining two comparatively new fields of research: non-transitive logic and the proof method of correspondence analysis. To be more detailed, in this paper the latter is adapted to Weir’s non-transitive trivalent logic NC3{\mathbf{NC}}_{\mathbf{3}}. As a result, for each binary extension of NC3{\mathbf{NC}}_{\mathbf{3}}, we present a sound and complete Lemmon-style natural deduction system. Last, but not least, we stress the fact that Avron and his co-authors’ general method of obtaining _n_-sequent proof systems for any _n_-valent logic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Recovery operators, paraconsistency and duality.Walter A. Carnielli, Marcelo E. Coniglio & Abilio Rodrigues Filho - 2020 - Logic Journal of the IGPL 28 (5):624-656.
    There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  17
    Modular Many-Valued Semantics for Combined Logics.Carlos Caleiro & Sérgio Marcelino - 2024 - Journal of Symbolic Logic 89 (2):583-636.
    We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic logical matrices. Our constructions preserve finite-valuedness in the context of multiple-conclusion logics, whereas, unsurprisingly, it may be lost in the context of single-conclusion logics. Besides illustrating our constructions over a wide range of examples, we also develop concrete applications of our semantic characterizations, namely regarding (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  19
    Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on FDEFDE.Marcelo E. Coniglio - forthcoming - Studia Logica:1-52.
    The aim of this paper is to combine several Ivlev-like modal systems characterized by 4-valued non-deterministic matrices (Nmatrices) with IDM4\mathcal {IDM}4, a 4-valued expansion of Belnap–Dunn’s logic FDEFDE with an implication introduced by Pynko in 1999. In order to do this, we introduce a new methodology for combining logics which are characterized by means of swap structures, based on what we call superposition of snapshots. In particular, the combination of IDM4\mathcal {IDM}4 with TmTm, the 4-valued Ivlev’s version of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Cut-Elimination and Quantification in Canonical Systems.Anna Zamansky & Arnon Avron - 2006 - Studia Logica 82 (1):157-176.
    Canonical Propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the sub-formula property, in which exactly one occurrence of a connective is introduced in the conclusion, and no other occurrence of any connective is mentioned anywhere else. In this paper we considerably generalize the notion of a “canonical system” to first-order languages and beyond. We extend the Propositional coherence criterion for the non-triviality of such systems to rules with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Multi-valued Semantics: Why and How.Arnon Avron - 2009 - Studia Logica 92 (2):163-182.
    According to Suszko's Thesis,any multi-valued semantics for a logical system can be replaced by an equivalent bivalent one. Moreover: bivalent semantics for families of logics can frequently be developed in a modular way. On the other hand bivalent semantics usually lacks the crucial property of analycity, a property which is guaranteed for the semantics of multi-valued matrices. We show that one can get both modularity and analycity by using the semantic framework of multi-valued non-deterministic matrices. We further (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Canonical calculi with (n,k)-ary quantifiers.Arnon Avron - unknown
    Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a connective is introduced and no other connective is mentioned. [2] provides a constructive coherence criterion for the non-triviality of such systems and shows that a system of this kind admits cut-elimination iff it is coherent. The semantics of such systems is provided using two-valued non-deterministic matrices (2Nmatrices). [23] extends (...)
     
    Export citation  
     
    Bookmark   1 citation  
  27. First-order swap structures semantics for some Logics of Formal Inconsistency.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Journal of Logic and Computation 30 (6):1257-1290.
    The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics.Arnon Avron, Jonathan Ben-Naim & Beata Konikowska - 2007 - Logica Universalis 1 (1):41-70.
    . The paper presents a method for transforming a given sound and complete n-sequent proof system into an equivalent sound and complete system of ordinary sequents. The method is applicable to a large, central class of (generalized) finite-valued logics with the language satisfying a certain minimal expressiveness condition. The expressiveness condition decrees that the truth-value of any formula φ must be identifiable by determining whether certain formulas uniformly constructed from φ have designated values or not. The transformation preserves the general (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  29. Processing Information.Arnon Avron - unknown
    We introduce a general framework for solving the problem of a computer collecting and combining information from various sources. Unlike previous approaches to this problem, in our framework the sources are allowed to provide information about complex formulae too. This is enabled by the use of a new tool — non-deterministic logical matrices. We also consider several alternative plausible assumptions concerning the framework. These assumptions lead to various logics. We provide strongly sound and complete proof systems for all (...)
     
    Export citation  
     
    Bookmark  
  30.  55
    An Unexpected Boolean Connective.Sérgio Marcelino - 2022 - Logica Universalis 16 (1):85-103.
    We consider a 2-valued non-deterministic connective  ⁣ ⁣ ⁣ ⁣ ⁣{\wedge \!\!\!\!\!\vee } defined by the table resulting from the entry-wise union of the tables of conjunction and disjunction. Being half conjunction and half disjunction we named it _platypus_. The value of  ⁣ ⁣ ⁣ ⁣ ⁣{\wedge \!\!\!\!\!\vee } is not completely determined by the input, contrasting with usual notion of Boolean connective. We call non-deterministic Boolean connective any connective based on multi-functions over the Boolean set. In this way, non-determinism allows for an extended notion of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31. Non-Deterministic Semantics for Quantum States.Juan Pablo Jorge & Federico Holik - 2020 - Entropy 22 (2):156.
    In this work, we discuss the failure of the principle of truth functionality in the quantum formalism. By exploiting this failure, we import the formalism of N-matrix theory and non-deterministic semantics to the foundations of quantum mechanics. This is done by describing quantum states as particular valuations associated with infinite non-deterministic truth tables. This allows us to introduce a natural interpretation of quantum states in terms of a non-deterministic semantics. We also provide a similar construction for arbitrary (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  49
    On Non-Deterministic Quantification.Thomas Macaulay Ferguson - 2014 - Logica Universalis 8 (2):165-191.
    This paper offers a framework for extending Arnon Avron and Iddo Lev’s non-deterministic semantics to quantified predicate logic with the intent of resolving several problems and limitations of Avron and Anna Zamansky’s approach. By employing a broadly Fregean picture of logic, the framework described in this paper has the benefits of permitting quantifiers more general than Walter Carnielli’s distribution quantifiers and yielding a well-behaved model theory. This approach is purely objectual and yields the semantical equivalence of both α-equivalent formulae (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33. Non-deterministic semantics for Families of Paraconsistent Logics.Arnon Avron - 2007 - School of Computer Science. Tel-Aviv University.
    We show by way of example how one can provide in a lot of cases simple modular semantics for rules of inference, so that the semantics of a system is obtained by joining the semantics of its rules in the most straightforward way. Our main tool for this task is the use of finite Nmatrices, which are multi-valued structures in which the value assigned by a valuation to a complex formula can be chosen non-deterministically out of a certain nonempty set (...)
     
    Export citation  
     
    Bookmark   26 citations  
  34. Non-deterministic Semantics for Logical Systems.Arnon Avron - 2005 - Handbook of Philosophical Logic 16 (14):227–304.
    In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent. One of the oldest and best known approaches to the problem of designing useful paraconsistent logics is da Costa’s approach, which seeks to allow the use of classical logic whenever it is safe to do so, but behaves completely differently when contradictions are involved. Da Costa’s approach has led to the family of logics (...)
     
    Export citation  
     
    Bookmark   21 citations  
  35. A Non-deterministic View on Non-classical Negations.Arnon Avron - 2005 - Studia Logica 80 (2-3):159-194.
    We investigate two large families of logics, differing from each other by the treatment of negation. The logics in one of them are obtained from the positive fragment of classical logic (with or without a propositional constant ff for “the false”) by adding various standard Gentzen-type rules for negation. The logics in the other family are similarly obtained from LJ+, the positive fragment of intuitionistic logic (again, with or without ff). For all the systems, we provide simple semantics which is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  36.  34
    Non-deterministic semantics for dynamic topological logic.David Fernández - 2009 - Annals of Pure and Applied Logic 157 (2-3):110-121.
    Dynamic Topological Logic () is a combination of , under its topological interpretation, and the temporal logic interpreted over the natural numbers. is used to reason about properties of dynamical systems based on topological spaces. Semantics are given by dynamic topological models, which are tuples , where is a topological space, f a function on X and V a truth valuation assigning subsets of X to propositional variables. Our main result is that the set of valid formulas of over spaces (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  37. Non-deterministic algebras and algebraization of logics.Ana Claudia Golzio & Marcelo E. Coniglio - 2015 - Filosofia da Linguagem E da Lógica (Philosophy of Language and Philosophy of Logic, in Portuguese).
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  16
    Non-deterministic Logic of Informal Provability has no Finite Characterization.Pawel Pawlowski - 2021 - Journal of Logic, Language and Information 30 (4):805-817.
    Recently, in an ongoing debate about informal provability, non-deterministic logics of informal provability BAT and CABAT were developed to model the notion. CABAT logic is defined as an extension of BAT logics and itself does not have independent and decent semantics. The aim of the paper is to show that, semantically speaking, both logics are rather complex and they can be characterized by neither finitely many valued deterministic semantics nor possible word semantics including neighbourhood semantics.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Should We Vote in Non-Deterministic Elections?Bob M. Jacobs & Jobst Heitzig - 2024 - Philosophies 9 (4):107.
    This article investigates reasons to participate in non-deterministic elections, where the outcomes incorporate elements of chance beyond mere tie-breaking. The background context situates this inquiry within democratic theory, specifically non-deterministic voting systems, which promise to re-evaluate fairness and power distribution among voting blocs. This study aims to explore the normative implications of such electoral systems and their impact on our moral duty to vote. We analyze instrumental reasons for voting, including prudential and act-consequentialist arguments, alongside non-instrumental reasons, assessing (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  71
    Non-deterministic inductive definitions.Benno van den Berg - 2013 - Archive for Mathematical Logic 52 (1-2):113-135.
    We study a new proof principle in the context of constructive Zermelo-Fraenkel set theory based on what we will call “non-deterministic inductive definitions”. We give applications to formal topology as well as a predicative justification of this principle.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  18
    8 Valued Non-Deterministic Semantics for Modal Logics.Pawel Pawlowski & Daniel Skurt - 2024 - Journal of Philosophical Logic 53 (2):351-371.
    The aim of this paper is to study a particular family of non-deterministic semantics for modal logics that has eight truth-values. These eight-valued semantics can be traced back to Omori and Skurt (2016), where a particular member of this family was used to characterize the normal modal logic K. The truth-values in these semantics convey information about a proposition’s truth/falsity, whether the proposition is necessary/not necessary, and whether it is possible/not possible. Each of these triples is represented by a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  19
    Gödel, Non-Deterministic Systems, and Hermetic Automata.William H. Desmonde - 1971 - International Philosophical Quarterly 11 (1):49-74.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  43
    Non-Deterministic Inductive Definitions and Fullness.Takako Nemoto & Hajime Ishihara - 2016 - In Peter Schuster & Dieter Probst, Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 163-170.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  15
    Non-Deterministic Epsilon Substitution for ID1: Effective Proof.Grigori Mints - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger, Logic, Construction, Computation. De Gruyter. pp. 325-342.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  24
    Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming.Jesse Heyninck, Ofer Arieli & Bart Bogaerts - 2024 - Artificial Intelligence 331 (C):104110.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  62
    Non Deterministic Classical Logic: The -calculus.Karim Nour - 2002 - Mathematical Logic Quarterly 48 (3):357-366.
    In this paper, we present an extension of λμ-calculus called λμ++-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on data types. This calculus allows also to program the parallel-or.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  25
    Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations.Pawel Pawlowski - 2020 - Logica Universalis 14 (4):407-420.
    The main goal of this paper is to provide an abstract framework for constructing proof systems for various many-valued logics. Using the framework it is possible to generate strongly complete proof systems with respect to any finitely valued deterministic and non-deterministic logic. I provide a couple of examples of proof systems for well-known many-valued logics and prove the completeness of proof systems generated by the framework.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. (1 other version)Many-valued non-deterministic semantics for first-order logics of formal (in)consistency.Arnon Avron - manuscript
    A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsistent logics is da Costa’s approach, which seeks to allow the use of classical logic whenever it is safe to do so, but behaves completely differently when contradictions are involved. da Costa’s approach has led to the family of Logics of Formal (In)consistency (LFIs). In this paper we provide non-deterministic semantics for a very large (...)
     
    Export citation  
     
    Bookmark   4 citations  
  49. 5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mCi.Arnon Avron - 2008 - Studies in Logic, Grammar and Rhetoric 14 (27).
    One of the most important paraconsistent logics is the logic mCi, which is one of the two basic logics of formal inconsistency. In this paper we present a 5-valued characteristic nondeterministic matrix for mCi. This provides a quite non-trivial example for the utility and effectiveness of the use of non-deterministic many-valued semantics.
     
    Export citation  
     
    Bookmark   3 citations  
  50.  40
    Equivalents of the finitary non-deterministic inductive definitions.Ayana Hirata, Hajime Ishihara, Tatsuji Kawai & Takako Nemoto - 2019 - Annals of Pure and Applied Logic 170 (10):1256-1272.
    We present statements equivalent to some fragments of the principle of non-deterministic inductive definitions (NID) by van den Berg (2013), working in a weak subsystem of constructive set theory CZF. We show that several statements in constructive topology which were initially proved using NID are equivalent to the elementary and finitary NIDs. We also show that the finitary NID is equivalent to its binary fragment and that the elementary NID is equivalent to a variant of NID based on the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 967