Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014 / / edited by Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta
| New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014 / / edited by Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | New Delhi : , : Springer India : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (542 p.) |
| Disciplina | 510 |
| Collana | Springer Proceedings in Mathematics & Statistics |
| Soggetto topico |
Logic, Symbolic and mathematical
Applied mathematics Engineering mathematics Logic Metaphysics Mathematical Logic and Foundations Applications of Mathematics |
| ISBN | 81-322-2719-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | C. Baskent: Game Semantics and Paraconsistency -- D. Batens: Some adaptive contributions to Logics of Formal Inconsistency -- Jean-Yves Beziau and A. Franceschetto: Strong Three-Valued Paraconsistent Logics -- R. C. Ertola B. Rodriguez and C. Noguera I. lofent: Paraconsistent degree-preserving fuzzy logic -- B. Brown: Symmetrical Preservation Relations and Cognitive Commitments -- C. C. Caret Game Semantics and Paraconsistency -- N. da Costa and C. de Ronde: Quantum Physics and Paraconsistency -- V. Degauquier: A unified proof-theoretic approach of partial and paraconsistent three-valued logics -- S. Dutta: Consequence and Inconsistency: Paraconsistent Logics -- E. Ficara:Negation and the Metaphysical Foundations of Logic -- H. Field: Restricted Quantification in Paraconsistent and Other Nonclassical Logics -- D. Gangopadhyay: Unscrambling the ‘Copenhagen omelet’ in paraconsistent term -- P. Greenough: Going Glutty, Staying Classical -- C. Heunen: Combining logical viewpoints in quantum theory -- R. I. Ingalalli: Consistency in Indian Logic -- T. Jarmuzek: Tableau metatheory for paraconsistent logics defined by possible world's semantics -- P. Jetli: Aristotle’s Syllogistic Logic is a Paraconsistent Logic -- H. Kurokawa: Hypersequent Calculi for Dual-superintuitionstic Logics and an Extension of the Logic Cube -- O. Korkmaz: A paraconsistent solution to Kratzer’s modal semantics -- H. Omori: Naive set theories based on expansions of BD enriched by classical negation -- A. Moretti and R. Pélissier: Many-valuedness and paraconsistency in a 3-oppositional quadrisimplex of sheaves -- C. Mortensen: Wedge Sum as Inconsistent -- A. Pietruszczak and M. Nasieniewski: Modal logics connected to Jaskowski's logic D2 -- G. Priest: The Adventures of the Catuskoti -- G. Pulcini: Towards a unified setting for non-monotonicity and paraconsistency -- V. Puncochár:Internal and External logics of Nelson Models -- F. Putte: Adaptive Logics and Selection Function -- D. Skurt: Iterated preferential models as a strategy to make many-valued paraconsistent logics non-monotonic -- S. Tarafder and M. Chakraborty: The Logic LS3 and its Comparison with other Three-Valued Paraconsistent Logics -- E. Turunen: Two Paraconsistent Semantics for Pavelka's Fuzzy Logic -- M. Vacek: Paraconsistency and Impossible Worlds -- P. Verdée:Paraconsistent and classical negation in the context of relevant implication -- D. Zaitsev: Propositions, Paraconsistency, Paracompleteness. |
| Record Nr. | UNINA-9910300250903321 |
| New Delhi : , : Springer India : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory of Graded Consequence : A General Framework for Logics of Uncertainty / / by Mihir Kumar Chakraborty, Soma Dutta
| Theory of Graded Consequence : A General Framework for Logics of Uncertainty / / by Mihir Kumar Chakraborty, Soma Dutta |
| Autore | Chakraborty Mihir Kumar |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (235 pages) |
| Disciplina | 511.3 |
| Collana | Logic in Asia: Studia Logica Library |
| Soggetto topico |
Logic
Logic, Symbolic and mathematical Mathematical Logic and Foundations |
| ISBN | 981-13-8896-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Basics of GCT -- Incorporating Negation in object language -- Proof theory for graded consequence -- Relationship with some other consequence operators and relations -- Suggested applications. |
| Record Nr. | UNINA-9910350208103321 |
Chakraborty Mihir Kumar
|
||
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||