Results for 'dual tableaux'

1000+ found
Order:
  1.  34
    Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
    The book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  2.  45
    Relational Dual Tableaux for Interval Temporal Logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
    Interval temporal logics provide both an insight into a nature of time and a framework for temporal reasoning in various areas of computer science. In this paper we present sound and complete relational proof systems in the style of dual tableaux for relational logics associated with modal logics of temporal intervals and we prove that the systems enable us to verify validity and entailment of these temporal logics. We show how to incorporate in the systems various relations between (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  46
    Tableaux and Dual Tableaux: Transformation of Proofs.Joanna Golińska-Pilarek & Ewa Orłowska - 2007 - Studia Logica 85 (3):283-302.
    We present two proof systems for first-order logic with identity and without function symbols. The first one is an extension of the Rasiowa-Sikorski system with the rules for identity. This system is a validity checker. The rules of this system preserve and reflect validity of disjunctions of their premises and conclusions. The other is a Tableau system, which is an unsatisfiability checker. Its rules preserve and reflect unsatisfiability of conjunctions of their premises and conclusions. We show that the two systems (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  24
    Logics of Similarity and Their Dual Tableaux. A Survey.Joanna Golińska-Pilarek & Ewa Orlowska - 2008 - In Giacomo Della Riccia, Didier Dubois & Hans-Joachim Lenz (eds.), Preferences and Similarities. Springer. pp. 129--159.
    We present several classes of logics for reasoning with information stored in information systems. The logics enable us to cope with the phenomena of incompleteness of information and uncertainty of knowledge derived from such an information. Relational inference systems for these logics are developed in the style of dual tableaux.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  45
    Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, Pp. Xvi+523, 113 Illus. ISBN: 978-94-007-0004-8 EURO 181,85, 978-94-007-0005-5 EURO 159,99. [REVIEW]Walter Carnielli - 2013 - Studia Logica 101 (1):229-232.
  6.  99
    Dual Systems of Sequents and Tableaux for Many-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Bulletin of the EATCS 51:192-197.
    The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  26
    Dual Tableau for a Multimodal Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.Joanna Golińska-Pilarek & Emilio Munoz-Velasco - 2009 - International Journal of Computer Mathematics 86 (10-11):1707–1718.
    We present a relational proof system in the style of dual tableaux for the relational logic associated with a multimodal propositional logic for order of magnitude qualitative reasoning with a bidirectional relation of negligibility. We study soundness and completeness of the proof system and we show how it can be used for verification of validity of formulas of the logic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  10
    Dual Tableau-Based Decision Procedures for Relational Logics with Restricted Composition Operator.Domenico Cantone, Marianna Nicolosi Asmundo & Ewa Orlowska - 2011 - Journal of Applied Non-Classical Logics 21 (2):177-200.
    We consider fragments of the relational logic RL obtained by posing various constraints on the relational terms involving the operator of composition of relations. These fragments allow to express several non classical logics including modal and description logics. We show how relational dual tableaux can be employed to provide decision procedures for each of them.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  35
    Relational Dual Tableau Decision Procedure for Modal Logic K.Joanna Golińska-Pilarek, Emilio Munoz-Velasco & Angel Mora - 2012 - Logic Journal of the IGPL 20 (4):747-756.
    We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system RLK in Prolog, and we show some of its advantages.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  11
    Les tableaux-pièges de daniel spoerri entre art et ethnographie.Nicole Gabriel & Gerhard Neumann - 2005 - Hermes 43:141.
    Les rituels sont les synapses dans le tissu culturel d'où sont issus les éléments qui gouvernent la vie en commun et la communication des êtres humains. Il en est ainsi depuis le commencement de toute société humaine. Mais ce n'est qu'au XX siècle que se manifeste un véritable intérêt pour le fonctionnement et l'importance culturelle des rituels. Il s'agit d'un tournant inspiré par les théories des ethnologues, et placé sous le signe du cultural turn et du performative turn du XX (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. Gentzen-Type Systems, Resolution and Tableaux.Arnon Avron - 1993 - Journal of Automated Reasoning 10:265-281.
    In advanced books and courses on logic (e.g. Sm], BM]) Gentzen-type systems or their dual, tableaux, are described as techniques for showing validity of formulae which are more practical than the usual Hilbert-type formalisms. People who have learnt these methods often wonder why the Automated Reasoning community seems to ignore them and prefers instead the resolution method. Some of the classical books on AD (such as CL], Lo]) do not mention these methods at all. Others (such as Ro]) (...)
    Translate
     
     
    Export citation  
     
    Bookmark   12 citations  
  12.  12
    Dual Tableau for Monoidal Triangular Norm Logic MTL.Joanna Golinska-Pilarek & Ewa Orlowska - 2011 - Fuzzy Sets and Systems 162 (1):39–52.
    Monoidal triangular norm logic MTL is the logic of left-continuous triangular norms. In the paper we present a relational formalization of the logic MTL and then we introduce relational dual tableau that can be used for verification of validity of MTL-formulas. We prove soundness and completeness of the system.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  16
    Model-Baded Abduction Via Dual Resolution.Fernando Soler-Toscano, Ángel Nepomuceno-fernández & Atocha Aliseda-Llera - 2006 - Logic Journal of the IGPL 14 (2):305-319.
    This papers presents δ-resolution, a dual resolution calculus. It is based on standard resolution, and used appropriate formulae equivalent to disjunctive normal forms, instead of conjunctive normal ones, as it is the case for resolution. This duality is then useful to create a calculus for abductive process, as a way to construct a set of abductive solutions. The proposed calculus is compared to semantic tableaux, an standard logical framework, aslo illuminating when studying abduction.δ-resolution calculus is a contribution to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  25
    Implementing a Relational Theorem Prover for Modal Logic K.Angel Mora, Emilio Munoz Velasco & Joanna Golińska-Pilarek - 2011 - International Journal of Computer Mathematics 88 (9):1869-1884.
    An automatic theorem prover for a proof system in the style of dual tableaux for the relational logic associated with modal logic K has been introduced. Although there are many well-known implementations of provers for modal logic, as far as we know, it is the first implementation of a specific relational prover for a standard modal logic. There are two main contributions in this paper. First, the implementation of new rules, called (k1) and (k2), which substitute the classical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  13
    Relational Approach for a Logic for Order of Magnitude Qualitative Reasoning with Negligibility, Non-Closeness and Distance.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2009 - Logic Journal of the IGPL 17 (4):375–394.
    We present a relational proof system in the style of dual tableaux for a multimodal propositional logic for order of magnitude qualitative reasoning to deal with relations of negligibility, non-closeness, and distance. This logic enables us to introduce the operation of qualitative sum for some classes of numbers. A relational formalization of the modal logic in question is introduced in this paper, i.e., we show how to construct a relational logic associated with the logic for order-of-magnitude reasoning and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  36
    Reasoning with Qualitative Velocity: Towards a Hybrid Approach.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2012 - In Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.), Hybrid Artificial Intelligent Systems. Springer. pp. 635--646.
    Qualitative description of the movement of objects can be very important when there are large quantity of data or incomplete information, such as in positioning technologies and movement of robots. We present a first step in the combination of fuzzy qualitative reasoning and quantitative data obtained by human interaction and external devices as GPS, in order to update and correct the qualitative information. We consider a Propositional Dynamic Logic which deals with qualitative velocity and enables us to represent some reasoning (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  40
    An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-Closeness and Distance.Joanna Golinska-Pilarek, Angel Mora & Emilio Munoz Velasco - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 128--139.
    We introduce an Automatic Theorem Prover (ATP) of a dual tableau system for a relational logic for order of magnitude qualitative reasoning, which allows us to deal with relations such as negligibility, non-closeness and distance. Dual tableau systems are validity checkers that can serve as a tool for verification of a variety of tasks in order of magnitude reasoning, such as the use of qualitative sum of some classes of numbers. In the design of our ATP, we have (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  20
    Relational Proof Systems for Spatial Reasoning.Joanna Golińska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):409-431.
    We present relational proof systems for the four groups of theories of spatial reasoning: contact relation algebras, Boolean algebras with a contact relation, lattice-based spatial theories, spatial theories based on a proximity relation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  8
    Relational Approach for a Logic for Order of Magnitude Qualitative Reasoning with Negligibility, Non-Closeness and Distance.J. Golinska-Pilarek & E. Muñoz-Velasco - 2009 - Logic Journal of the IGPL 17 (4):375-394.
    We present a relational proof system in the style of dual tableaux for a multimodal propositional logic for order of magnitude qualitative reasoning to deal with relations of negligibility, non-closeness, and distance. This logic enables us to introduce the operation of qualitative sum for some classes of numbers. A relational formalization of the modal logic in question is introduced in this paper, i.e., we show how to construct a relational logic associated with the logic for order-of-magnitude reasoning and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  20
    Relational Logics and Their Applications.Joanna Golińska-Pilarek & Ewa Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 125.
    Logics of binary relations corresponding, among others, to the class RRA of representable relation algebras and the class FRA of full relation algebras are presented together with the proof systems in the style of dual tableaux. Next, the logics are extended with relational constants interpreted as point relations. Applications of these logics to reasoning in non-classical logics are recalled. An example is given of a dual tableau proof of an equation which is RRA-valid, while not RA-valid.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  39
    A New Deduction System for Deciding Validity in Modal Logic K.Joanna Golinska-Pilarek, Emilio Munoz Velasco & Angel Mora - 2011 - Logic Journal of the IGPL 19 (2): 425-434.
    A new deduction system for deciding validity for the minimal decidable normal modal logic K is presented in this article. Modal logics could be very helpful in modelling dynamic and reactive systems such as bio-inspired systems and process algebras. In fact, recently the Connectionist Modal Logics has been presented, which combines the strengths of modal logics and neural networks. Thus, modal logic K is the basis for these approaches. Soundness, completeness and the fact that the system itself is a decision (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  38
    Negation As Refutation.Melvin Fitting - unknown
    A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the semantics: true, false, neither, both. Inconsistent programs are allowed, but inconsistencies remain localized. The four-valued logic is a well-known one, due to Belnap, and is the simplest example of Ginsberg’s bilattice notion. An efficient implementation based on semantic tableaux is sketched; it reduces to SLD resolution when negations are not involved. The (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  23.  10
    Non-distributive Relatives of ETL and NFL.Daniil Kozhemiachenko - 2021 - Studia Logica 109 (1):137-165.
    In this paper we devise non-distributive relatives of Exactly true logic by Pietz and Riveccio and its dual Non-falsity logic by Shramko, Zaitsev and Belikov. We consider two pre-orders which are algebraic counterparts of the ETL’s and NFL’s entailment relations on the de Morgan lattice 4. We generalise these pre-orders and determine which distributive properties that hold on 4 are not forced by either of the pre-orders. We then construct relatives of ETL and NFL but lack such distributive properties. (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  23
    Proof Theory and Semantics for a Theory of Definite Descriptions.Nils Kürbis - 2021 - In Anupam Das & Sara Negri (eds.), TABLEAUX 2021, LNAI 12842.
    This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Dual-Process Theories of Higher Cognition Advancing the Debate.Jonathan Evans & Keith E. Stanovich - 2013 - Perspectives on Psychological Science 8 (3):223-241.
    Dual-process and dual-system theories in both cognitive and social psychology have been subjected to a number of recently published criticisms. However, they have been attacked as a category, incorrectly assuming there is a generic version that applies to all. We identify and respond to 5 main lines of argument made by such critics. We agree that some of these arguments have force against some of the theories in the literature but believe them to be overstated. We argue that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   278 citations  
  26.  90
    Actuality, Tableaux, and Two-Dimensional Modal Logics.Fabio Lampert - 2018 - Erkenntnis 83 (3):403-443.
    In this paper we present tableau methods for two-dimensional modal logics. Although models for such logics are well known, proof systems remain rather unexplored as most of their developments have been purely axiomatic. The logics herein considered contain first-order quantifiers with identity, and all the formulas in the language are doubly-indexed in the proof systems, with the upper indices intuitively representing the actual or reference worlds, and the lower indices representing worlds of evaluation—first and second dimensions, respectively. The tableaux (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27.  7
    Tableaux for Essence and Contingency.Giorgio Venturi & Pedro Teixeira Yago - 2020 - Logic Journal of the IGPL:Doi 10.1093/jigpal/jzaa016.
    We offer tableaux systems for logics of essence and accident and logics of non-contingency, showing their soundness and completeness for Kripke semantics. We also show an interesting parallel between these logics based on the semantic insensitivity of the two non-normal operators by which these logics are expressed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  70
    Dual Character Concepts.Kevin Reuter - 2019 - Philosophy Compass 14 (1):e12557.
    Some of philosophy's most central concepts, including art, friendship, and happiness, have been argued to be dual character concepts. Their main characteristic is that they encode not only a descriptive dimension but also an independent normative dimension for categorization. This article introduces the class of dual character concepts and discusses various accounts of their content and structure. A specific focus will be placed on their relation to two other classes of concepts, thick concepts and natural kind concepts. The (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  29. Wittgensteinian Tableaux, Identity, and Co-Denotation.Kai F. Wehmeier - 2008 - Erkenntnis 69 (3):363-376.
    Wittgensteinian predicate logic (W-logic) is characterized by the requirement that the objects mentioned within the scope of a quantifier be excluded from the range of the associated bound variable. I present a sound and complete tableaux calculus for this logic and discuss issues of translatability between Wittgensteinian and standard predicate logic in languages with and without individual constants. A metalinguistic co-denotation predicate, akin to Frege’s triple bar of the Begriffsschrift, is introduced and used to bestow the full expressive power (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  30.  50
    Are Tableaux an Improvement on Truth-Tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.
    We show that Smullyan's analytic tableaux cannot p-simulate the truth-tables. We identify the cause of this computational breakdown and relate it to an underlying semantic difficulty which is common to the whole tradition originating in Gentzen's sequent calculus, namely the dissonance between cut-free proofs and the Principle of Bivalence. Finally we discuss some ways in which this principle can be built into a tableau-like method without affecting its analytic nature.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  31.  11
    Simplified Tableaux for STIT Imagination Logic.Grigory K. Olkhovikov & Heinrich Wansing - 2019 - Journal of Philosophical Logic 48 (6):981-1001.
    We show how to correct the analytic tableaux system from the paper Olkhovikov and Wansing, 259–279, 2018).
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  32. Dual PECCS: A Cognitive System for Conceptual Representation and Categorization.Antonio Lieto, Daniele Radicioni & Valentina Rho - 2017 - Journal of Experimental and Theoretical Artificial Intelligence 29 (2):433-452.
    In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis (...)
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  33. A Dual Aspect Account of Moral Language.Caj Strandberg - 2012 - Philosophy and Phenomenological Research 84 (1):87-122.
    It is often observed in metaethics that moral language displays a certain duality in as much as it seems to concern both objective facts in the world and subjective attitudes that move to action. In this paper, I defend The Dual Aspect Account which is intended to capture this duality: A person’s utterance of a sentence according to which φing has a moral characteristic, such as “φing is wrong,” conveys two things: The sentence expresses, in virtue of its conventional (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  34. The Dual-Process Turn: How Recent Defenses of Dual-Process Theories of Reasoning Fail.Joshua Mugg - 2016 - Philosophical Psychology 29 (2):300-309.
    In response to the claim that the properties typically used to distinguish System 1 from System 2 crosscut one another, Carruthers, Evans, and Stanovich have abandoned the System 1/System 2 distinction. Evans and Stanovich both opt for a dual-process theory, according to which Type-1 processes are autonomous and Type-2 processes use working memory and involve cognitive decoupling. Carruthers maintains a two-system account, according to which there is an intuitive system and a reflective system. I argue that these defenses of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  35. Dual-Process and Dual-System Theories of Reasoning.Keith Frankish - 2010 - Philosophy Compass 5 (10):914-926.
    Dual-process theories hold that there are two distinct processing modes available for many cognitive tasks: one that is fast, automatic and non-conscious, and another that is slow, controlled and conscious. Typically, cognitive biases are attributed to type 1 processes, which are held to be heuristic or associative, and logical responses to type 2 processes, which are characterised as rule-based or analytical. Dual-system theories go further and assign these two types of process to two separate reasoning systems, System 1 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   55 citations  
  36. Dual Character Concepts in Social Cognition: Commitments and the Normative Dimension of Conceptual Representation.Del Pinal Guillermo & Reuter Kevin - 2017 - Cognitive Science 41 (S3):477–501.
    The concepts expressed by social role terms such as artist and scientist are unique in that they seem to allow two independent criteria for categorization, one of which is inherently normative. This study presents and tests an account of the content and structure of the normative dimension of these “dual character concepts.” Experiment 1 suggests that the normative dimension of a social role concept represents the commitment to fulfill the idealized basic function associated with the role. Background information can (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  37. Temporalising Tableaux.Roman Kontchakov, Carsten Lutz, Frank Wolter & Michael Zakharyaschev - 2004 - Studia Logica 76 (1):91 - 134.
    As a remedy for the bad computational behaviour of first-order temporal logic (FOTL), it has recently been proposed to restrict the application of temporal operators to formulas with at most one free variable thereby obtaining so-called monodic fragments of FOTL. In this paper, we are concerned with constructing tableau algorithms for monodic fragments based on decidable fragments of first-order logic like the two-variable fragment or the guarded fragment. We present a general framework that shows how existing decision procedures for first-order (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  38. EXPtime Tableaux for ALC.Francesco M. Donini & Fabio Massacci - 2000 - Artificial Intelligence 124 (1):87-138.
  39.  13
    Clause Tableaux for Maximum and Minimum Satisfiability.Josep Argelich, Chu Min Li, Felip Manyà & Joan Ramon Soler - 2021 - Logic Journal of the IGPL 29 (1):7-27.
    The inference systems proposed for solving SAT are unsound for solving MaxSAT and MinSAT, because they preserve satisfiability but not the minimum and maximum number of clauses that can be falsified, respectively. To address this problem, we first define a clause tableau calculus for MaxSAT and prove its soundness and completeness. We then define a clause tableau calculus for MinSAT and also prove its soundness and completeness. Finally, we define a complete clause tableau calculus for solving both MaxSAT and MinSAT, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Dual Character Art Concepts.Shen‐yi Liao, Aaron Meskin & Joshua Knobe - 2020 - Pacific Philosophical Quarterly 101 (1):102-128.
    Our goal in this paper is to articulate a novel account of the ordinary concept ART. At the core of our account is the idea that a puzzle surrounding our thought and talk about art is best understood as just one instance of a far broader phenomenon. In particular, we claim that one can make progress on this puzzle by drawing on research from cognitive science on dual character concepts. Thus, we suggest that the very same sort of phenomenon (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  41.  14
    Tableaux and Hypersequents for Justification Logics.Hidenori Kurokawa - 2012 - Annals of Pure and Applied Logic 163 (7):831-853.
  42. Dual Character Concepts and the Normative Dimension of Conceptual Representation.Joshua Knobe, Sandeep Prasada & George E. Newman - 2013 - Cognition 127 (2):242-257.
    Five experiments provide evidence for a class of ‘dual character concepts.’ Dual character concepts characterize their members in terms of both (a) a set of concrete features and (b) the abstract values that these features serve to realize. As such, these concepts provide two bases for evaluating category members and two different criteria for category membership. Experiment 1 provides support for the notion that dual character concepts have two bases for evaluation. Experiments 2-4 explore the claim that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  43. Analytic Tableaux for All of SIXTEEN 3.Stefan Wintein & Reinhard Muskens - 2015 - Journal of Philosophical Logic 44 (5):473-487.
    In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  2
    Tableaux for Some Modal-Tense Logics Graham Priest’s Fashion.Juan Carlos Sánchez Hernández - forthcoming - Studia Logica:1-40.
    The forward convergence constraint is important to time analysis. Without it, given two future moments to the same point, the time branches. This is unacceptable if one assumes that time is linear. Nevertheless, one may wish to consider time-branching in order to discuss future possibilities. One can have both a linear order for the time and branching through the combination of the tense logic semantics with those of an alethic logic which allows the evaluation of the timelines of other possible (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  17
    Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1≤N<Ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis de Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
    In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤ntableaux formulation, we introduce da Costa's ?ball? operator ?o?, the generalized operators ?k? and ?(k)?, for 1≤k, and the negations ?~k?, for k≥1, as primitive operators, differently to what has been done in the literature, where these operators are usually defined operators. We prove a version of Cut Rule for the TNDC (...))
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  60
    Dual Theories: ‘Same but Different’ or ‘Different but Same’?Dean Rickles - 2017 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 59:62-67.
    I argue that, under the glitz, dual theories are examples of theoretically equivalent descriptions of the same underlying physical content: I distinguish them from cases of genuine underdetermination on the grounds that there is no real incompatibility involved between the descriptions. The incompatibility is at the level of unphysical structure. I argue that dual pairs are in fact very strongly analogous to gauge- related solutions even for dual pairs that look the most radically distinct, such as AdS/CFT.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  47. Tableaux for Multi-Agent Deliberative-Stit Logic.Heinrich Wansing - 2006 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 503-520.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  48. Tableaux sin refutación.Tomás Barrero & Walter Carnielli - 2005 - Matemáticas: Enseñanza Universitaria 13 (2):81-99.
    Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. A Dual-Networks Architecture of Top-Down Control.Nico U. F. Dosenbach, Damien A. Fair, Alexander L. Cohen, Bradley L. Schlaggar & Steven E. Petersen - 2008 - Trends in Cognitive Sciences 12 (3):99-105.
  50.  9
    Tableaux for Multi-Agent Deliberative-Stit Logic.Heinrich Wansing - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 503-520.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 1000