Results for 'contractionless logic'
893 found
Order:
1 filter applied
- Curry's paradox incontractionless constructivelogic.Akama Seiki -1996 -Journal of Philosophical Logic 25 (2):135 - 150.We proposecontractionless constructivelogic which is obtained from Nelson's constructivelogic by deleting contractions. We discuss the consistency of a naive set theory based on the proposedlogic in relation to Curry's paradox. The philosophical significance ofcontractionless constructivelogic is also argued in comparison with Fitch's and Prawitz's systems.
- Acontractionless semilattice semantics.Steve Giambrone,Robert K. Meyer &Alasdair Urquhart -1987 -Journal of Symbolic Logic 52 (2):526-529.
- On semilattice relevant logics.Ryo Kashima -2003 -Mathematical Logic Quarterly 49 (4):401.The semilattice relevant logics ∪R, ∪T, ∪RW, and ∪TW are defined by semilattice models in which conjunction and disjunction are interpreted in a natural way. For each of them, there is a cut-free labelled sequent calculus with plural succedents . We prove that these systems are equivalent, with respect to provable formulas, to the restricted systems with single succedents . Moreover, using this equivalence, we give a new Hilbert-style axiomatizations for ∪R and ∪T and prove equivalence between two semantics for (...) thecontractionless logics ∪RW and ∪TW. (shrink)
- Intuitionistic propositionallogic without 'contraction' but with 'reductio'.J. M. Méndez &F. Salto -2000 -Studia Logica 66 (3):409-418.Routley- Meyer type relational complete semantics are constructed for intuitionisticcontractionlesslogic with reductio. Different negation completions of positive intuitionisticlogic without contraction are treated in a systematical, unified and semantically complete setting.
- Some Metacomplete Relevant Modal Logics.Takahiro Seki -2013 -Studia Logica 101 (5):1115-1141.Alogic is called metacomplete if formulas that are true in a certain preferred interpretation of thatlogic are theorems in its metalogic. In the area of relevant logics, metacompleteness is used to prove primeness, consistency, the admissibility of γ and so on. This paper discusses metacompleteness and its applications to a wider class of modal logics based oncontractionless relevant logics and their neighbours using Slaney’s metavaluational technique.
- The basic constructivelogic for a weak sense of consistency.Gemma Robles &José M. Méndez -2008 -Journal of Logic, Language and Information 17 (1):89-107.In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructivelogic BKc1 adequate to this sense of consistency in the ternary relational semantics without a set of designated points. Then we show how to define a series of logics extending BKc1 within the spectrum delimited bycontractionless minimal intuitionisticlogic. All logics defined in the paper are paraconsistent (...) logics. (shrink)
- Extensions of the basic constructivelogic for weak consistency BKc1 defined with a falsity constant.Gemma Robles -2007 -Logic and Logical Philosophy 16 (4):311-322.Thelogic BKc1 is the basic constructivelogic for weak consistency in the ternary relational semantics without a set of designated points. In this paper, a number of extensions of B Kc1 defined with a propositional falsity constant are defined. It is also proved that weak consistency is not equivalent to negation-consistency or absolute consistency in anylogic included in positivecontractionless intermediatelogic LC plus the constructive negation of BKc1 and the contraposition axioms.
- The basic constructivelogic for absolute consistency.José M. Méndez &Gemma Robles -2009 -Journal of Logic, Language and Information 18 (2):199-216.In this paper, consistency is understood as absolute consistency (i.e. non-triviality). The basic constructivelogic BKc6, which is adequate to this sense of consistency in the ternary relational semantics without a set of designated points, is defined. Then, it is shown how to define a series of logics by extending BKc6 up tocontractionless intuitionisticlogic. All logics defined in this paper are paraconsistent logics.
- Restricting the contraction axiom in Dummett's LC: a sublogic of LC with the Converse Ackermann Property, thelogic LCo.Francisco Salto,José M. Méndez &Gemma Robles -2001 -Bulletin of the Section of Logic 30 (3):139-146.LCo with the Converse Ackermann Property is defined as the result of restricting Contraction in LC. Intuitionistic and Superintuitionistic Negation is shown to be compatible with the CAP.
- Anderson And Belnap's Minimal PositiveLogic With Minimal Negation.J. Mendez,F. Salto &G. Robles -2002 -Reports on Mathematical Logic 36:117-130.Our question is: can we embed minimal negation in implicative logics weaker than I→? Previous results show how to define minimal negation in the positive fragment of thelogic of relevance R and incontractionless intuitionisticlogic. Is it possible to endow weaker positive logics with minimal negation? This paper prooves that minimal negation can be embedded in even such a weak system as Anderson and Belnap’s minimal positivelogic.
- Completeness and conservative extension results for some Boolean relevant logics.Steve Giambrone &Robert K. Meyer -1989 -Studia Logica 48 (1):1 - 14.This paper presents completeness and conservative extension results for the boolean extensions of the relevantlogic T of Ticket Entailment, and for thecontractionless relevant logics TW and RW. Some surprising results are shown for adding the sentential constant t to these boolean relevant logics; specifically, the boolean extensions with t are conservative of the boolean extensions without t, but not of the original logics with t. The special treatment required for the semantic normality of T is also (...) shown along the way. (shrink)
- Entailment Generalized.Tore Fjetland Øgaard -2025 - In Andrew Tedder, Shawn Standefer & Igor Sedlar,New Directions in Relevant Logic. Springer. pp. 317-341.Two Hilbert calculi in the use-restricted relevance tradition of Anderson and Belnap are presented. One yields Anderson and Belnap's conjunctive version of the so-called ``entailment theorem,'' whereas the other yields the implication-iterated version. In contrast to previous such use-restricted calculi, those presented in this paper apply to arbitrary strengthenings of the weakcontractionlesslogic B without need for modifying the use-conditions. As such they help to identify the core idea of the ``use-account'' of relevance.Export citation
Bookmark - A New Conditional for Naive Truth Theory.Andrew Bacon -2013 -Notre Dame Journal of Formal Logic 54 (1):87-104.In this paper alogic for reasoning disquotationally about truth is presented and shown to have a standard model. This work improves on Hartry Field's recent results establishing consistency and omega-consistency of truth-theories with strong conditional logics. A novel method utilising the Banach fixed point theorem for contracting functions on complete metric spaces is invoked, and the resultinglogic is shown to validate a number of principles which existing revision theoretic methods have heretofore failed to provide.
- The undecidability of grisin's set theory.Andrea Cantini -2003 -Studia Logica 74 (3):345 - 368.We investigate acontractionless naive set theory, due to Grisin [11]. We prove that the theory is undecidable.
- Four relevant Gentzen systems.Steve Giambrone &Aleksandar Kron -1987 -Studia Logica 46 (1):55 - 71.This paper is a study of four subscripted Gentzen systems G u R +, G u T +, G u RW + and G u TW +. [16] shows that the first three are equivalent to the semilattice relevant logics u R +, u T + and u RW + and conjectures that G u TW + is, equivalent to u TW +. Here we prove Cut Theorems for these systems, and then show that modus ponens is admissible — which (...) is not so trivial as one normally expects. Finally, we give decision procedures for thecontractionless systems, G u TW + and G u RW +. (shrink)
- Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom.José M. Méndez &Francisco Salto -1995 -Notre Dame Journal of Formal Logic 36 (3):407-413.This paper offers a particular intuitionistic negation completion of Urquhart's system C resulting in a super-intuitionisticcontractionless propositionallogic equivalent to Dummett's LC without contraction.
- MathematicalLogic.Arch MathLogic -2003 -Archive for Mathematical Logic 42:563-568.Export citation Bookmark
- Logic Matters.Logic Matters -unknownI read Stefan Collini’s What are Universities For? last week with very mixed feelings. In the past, I’ve much admired his polemical essays on the REF, “impact”, the Browne Report, etc. in the London Review of Books and elsewhere: they speak to my heart. If you don’t know those essays, you can get some of their flavour from his latest article in the Guardian yesterday. But I found the book a disappointment. Perhaps the trouble is that Collini is too decent, (...) too high-minded, has too unrealistically exalted a view about what actually happens in universities which is too coloured by attitudes appropriate to the traditional humanities. And he is optimistic to the point of fantasy if he thinks that people are so susceptible to “the romance of ideas and the power of beauty” that they will want, or can be brought to want, lots and lots of universities in order to promote the ideas (as if they would suppose that the task of “conserving, understanding, extending and handing on to subsequent generations the intellectual, scientific, and artistic heritage of mankind” was clearly ill-served when there were only forty universities in England, as opposed to a hundred and whatever). (shrink)No categories
- Anna Zalewska an application of mizar mse in a course inlogic.A. Course InLogic -1987 - In Jan T. J. Srzednicki,Initiatives in logic. Boston: M. Nijhoff. pp. 224.Export citation Bookmark
- the Question of Grammar in Logical Inx'estigations.Later Developments InLogic -2003 - In Anna-Teresa Tymieniecka,Phenomenology World-Wide. Kluwer Academic Publishers. pp. 94.Export citation Bookmark
- InformalLogic referees 2011-2012.InformalLogic Editors -2013 -Informal Logic 33 (1):80.The Editors express their gratitude and appreciation to the indi-viduals listed below who served as referees for InformalLogic for Volumes 31 (2011) and 32 (2012).
- A Comparison between two Different Tarski-style Semantics for LinearLogic.LinearLogic &M. Piazza -1994 -Epistemologia 17 (1):101-116.Export citation Bookmark
- Sets, Models and Recursion Theory Proceedings of the Summer School in MathematicalLogic and TenthLogic Colloquium, Leicester, August-September 1965.John N. Crossley &Logic Colloquium -1967 - North-Holland.Export citation Bookmark
- Types of negation in logical reconstructions of meinong Andrew Kenneth Jorgensen university of Leeds.in Logical Reconstructions Of Meinong -2004 -Grazer Philosophische Studien 67 (1):21-36.Export citation Bookmark
- Temporallogic.TemporalLogic -forthcoming -Stanford Encyclopedia of Philosophy.
- Logic Programming: Proceedings of the Joint International Conference and Symposium onLogic Programming.Krzysztof R. Apt &Association forLogic Programming -1992 - MIT Press (MA).The Joint International Conference onLogic Programming, sponsored by the Association forLogic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science.Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions.Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense (...) reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)
- Logic Programming: 10th International Symposium : Preprinted Papers and Abstracts.Dale Miller &Association forLogic Programming -1993
- Computer ScienceLogic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers.M. Nielsen,Wolfgang Thomas &European Association for Computer ScienceLogic -1998 - Springer Verlag.This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer ScienceLogic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer ScienceLogic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents (...) the state of the art in the area. (shrink)
- Afterthoughts.PhilosophicalLogic -1989 - In Joseph Almog, John Perry & Howard Wettstein,Themes From Kaplan. New York: Oxford University Press.No categoriesExport citation Bookmark
- For the most clearly understood models of (i) belief,(ii) how the impact of sensory experience changes belief, and (Hi) how beliefs together with desires influence actions.MeaningLogic -1983 - In Alex Orenstein & Rafael Stern,Developments in Semantics. Haven. pp. 2--221.Export citation Bookmark
- In memoriam: John Hoaglund 1936 – 2012.InformalLogic -2012 -Informal Logic 32 (3):286-287.
- International union of history and philosophy of science uppsala university.MethodologyLogic -1990 -Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 21:401-403.Export citation Bookmark
- Kh Sievers.A. GeneralLogic &John Slaney -1989 -International Philosophical Quarterly 29 (4).No categories
- Russell and MacColl: Reply to Grattan-guinness, wolen ski, and read.ModalLogic -2001 -Nordic Journal of Philosophical Logic 6 (1):21-42.
- Storage Operators and Second Order Lambda-Calculs.J. -L. Krivine ClassicalLogic -1994 -Annals of Pure and Applied Logic 68:53-78.
- Wesley C. salmon.InductiveLogic -1970 - In Carl G. Hempel, Donald Davidson & Nicholas Rescher,Essays in honor of Carl G. Hempel. Dordrecht,: D. Reidel. pp. 24--47.Export citation Bookmark
- Externalism, Internalism and Moral Scepticism.ConditionalLogic -1991 -International Philosophical Quarterly 31 (4).
- Juliet flower MacCannell.MonstrousLogic -2004 - In Sinkwan Cheng,Law, justice, and power: between reason and will. Stanford, Calif.: Stanford University Press. pp. 240.Export citation Bookmark
- David Bostock.On Motivating Higher-OrderLogic -2004 - In Thomas Baldwin & Timothy Smiley,Studies in the Philosophy of Logic and Knowledge. New York: Oup/British Academy.No categoriesExport citation Bookmark
- In Memoriam: Stephen Edelston Toulmin 1922-2009.InformalLogic -2010 -Informal Logic 30 (1):120-121.
- Luis moniz Pereira.Philosophical Incidence OfLogic -2002 - In Dov M. Gabbay,Handbook of the logic of argument and inference: the turn towards the practical. New York: Elsevier.
- Olivier Gasquet and Andreas Herzig.From Classical to Normal Modal Logics -1996 - In Heinrich Wansing,Proof theory of modal logic. Boston: Kluwer Academic Publishers.No categories
- Arthur Nieuwendijk.Navya-NyayaLogic -1992 -Journal of Indian Philosophy 20:377-418.Export citation Bookmark
- Motion and the dialectical view of the world.in FormalLogic -1990 -Studies in Soviet Thought 39:241-255.No categoriesExport citation Bookmark
- Marfa-Luisa Rivero.Antecedents of Contemporary Logical &Linguistic Analyses in ScholasticLogic -1973 -Foundations of Language 10:55.No categoriesExport citation Bookmark
- William S. Hatcher.I. Prologue on MathematicalLogic -1973 - In Mario Bunge,Exact philosophy; problems, tools, and goals. Boston,: D. Reidel. pp. 83.Export citation Bookmark
- Books for review and for listing here should be addressed to Emily Zakin, Review Editor, Department of Philosophy, Miami University, Oxford, OH 45056.Logic Primer -2001 -Teaching Philosophy 24 (3):311.
- Logic Colloquium '80: Papers Intended for the European Summer Meeting of the Association for SymbolicLogic.D. van Dalen,Daniel Lascar,T. J. Smiley &Association for SymbolicLogic -1982 - North-Holland.
- Jon Williamson.ProbabilityLogic -2002 - In Dov M. Gabbay,Handbook of the logic of argument and inference: the turn towards the practical. New York: Elsevier. pp. 397.
- L86, l93, 203,236.PredicateLogic -2003 - In Jaroslav Peregrin,Meaning: the dynamic turn. Oxford, UK: Elsevier Science. pp. 12--65.No categoriesExport citation Bookmark
| 1 — 50 / 893 |
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server or OpenAthens.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
 Email |  RSS feed |
Editorial team
General Editors:
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-6dc498764b-4pdvg uwo