Search results for "paraconsistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Carl Hewitt	Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency.	COIN	2007	DBLP DOI BibTeX RDF	Direct Logic, Mental Agents, Organizational Computing, ORGs (Organizations of Restricted Generality), Concurrency, Policies, Reflection, Norms, Norms, Inconsistency, Practices, Institutions, Co-ordination, Paraconsistency
88	Hendrik Decker	Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases.	Semantics in Databases	2001	DBLP DOI BibTeX RDF
78	Edwin D. Mares	Information, Negation, and Paraconsistency.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
67	Philippe Besnard, Paul Wong	Modal (Logic) Paraconsistency.	ECSQARU	2003	DBLP DOI BibTeX RDF
67	Suryanil Ghosh	Paraconsistency and Beyond: A New Approach to Inconsistency Handling.	ISMIS	1994	DBLP DOI BibTeX RDF
54	Ross T. Brady, Andrea Meinander	Distribution in the Logic of Meaning Containment and in Quantum Mechanics.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Walter Alexandre Carnielli, Marcelo E. Coniglio	On Discourses Addressed by Infidel Logicians.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Patrick Allo	Noisy vs. Merely Equivocal Logics.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Michèle Friend	Pluralism and "Bad" Mathematical Theories: Challenging our Prejudices.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Diderik Batens	New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Zach Weber	Notes on Inconsistent Set Theory.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Michael L. Anderson, Walid E. Gomaa, John Grant, Donald Perlis	An Approach to Human-Level Commonsense Reasoning.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Ray E. Jennings, Yue Chen	FDE: A Logic of Clutters.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Bryson Brown	Consequence as Preservation: Some Refinements.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Francesco Berto	Wittgenstein on Incompleteness Makes Paraconsistent Sense.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	David Ripley	Sorting out the Sorites.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Francesco Paoli	A Paraconsistent and Substructural Conditional Logic.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Koji Tanaka	Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Chris Mortensen	Arithmetic Starred.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Graham Priest	Vague Inclosures.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Marek Nasieniewski, Andrzej Pietruszczak	On Modal Logics Defining Jaśkowski's D2-Consequence.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Greg Restall	Assertion, Denial and Non-classical Theories.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
54	Dominic Hyde	Are the Sorites and Liar Paradox of a Kind?	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
49	Jair Minoro Abe, Seiki Akama	Annotated Temporal Logics Delta*tau.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF	Time in Paraconsistent logics, paraconsistent temporal logic, time and paraconsistency
49	Roderic A. Girle	Tableaux for Expansion and Contraction.	PRICAI	1996	DBLP DOI BibTeX RDF	belief revision, tableaux, paraconsistency
48	Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu	Constructive Discursive Logic: Paraconsistency in Constructivism.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
45	John K. Slaney	Relevant Logic and Paraconsistency.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
27	Fahim T. Imam, Wendy MacCaull	Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	multi-valued logic, Ontology integration, paraconsistency
27	Arthur Buchsbaum, Tarcisio H. C. Pequeno, Marcelino Pequeno	A logical expression of reasoning.	Synth.	2007	DBLP DOI BibTeX RDF	Ampliative reasoning, Complex reasoning, Epistemic modalities, Default logic, Non-monotonic logic, Paraconsistency
27	Jair Minoro Abe, Kazumi Nakamatsu	Manipulating Paraconsistent Knowledge in Multi-agent Systems.	KES-AMSTA	2007	DBLP DOI BibTeX RDF	knowledge and paraconsistency, distributed systems, multi-agents, Annotated logics
24	Bozena Czernecka-Rej	Correction to: Can Başkent, Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer International Publishing, Outstanding Contributions to Logic, Vol. 18, 2019, pp. 704+xi; ISBN 978-3-030-25367-7 (Softcover) 106.99 €, ISBN 978-3-030-25364-6 (Hardcover) 149.79 €.	Stud Logica	2023	DBLP DOI BibTeX RDF
24	Diana Costa 0001, Daniel Figueiredo 0001, Manuel A. Martins 0001	Relation-changing models meet paraconsistency.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
24	Yakoub Salhi, Michael Sioutis	A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning.	ECAI	2023	DBLP DOI BibTeX RDF
24	María del Rosario Martínez-Ordaz	A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences.	Logica Universalis	2022	DBLP DOI BibTeX RDF
24	Sankha S. Basu, Sayantan Roy	Negation-Free Definitions of Paraconsistency.	NCL	2022	DBLP DOI BibTeX RDF
24	Sankha S. Basu, Mihir K. Chakraborty	Restricted Rules of Inference and Paraconsistency.	Log. J. IGPL	2022	DBLP DOI BibTeX RDF
24	Jonas Rafael Becker Arenhart	The evidence approach to paraconsistency versus the paraconsistent approach to evidence.	Synth.	2021	DBLP DOI BibTeX RDF
24	Sankha S. Basu, Mihir K. Chakraborty	Restricted Rules of Inference and Paraconsistency.	CoRR	2020	DBLP BibTeX RDF
24	Hiroyuki Kido 0001, Keishi Okamoto	Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy.	CoRR	2020	DBLP BibTeX RDF
24	Arnon Avron, Anna Zamansky	Paraconsistency, self-extensionality, modality.	Log. J. IGPL	2020	DBLP DOI BibTeX RDF
24	Walter Carnielli, Marcelo E. Coniglio, Abilio Rodrigues	Recovery operators, paraconsistency and duality.	Log. J. IGPL	2020	DBLP DOI BibTeX RDF
24	Walter Carnielli, Abilio Rodrigues	An epistemic approach to paraconsistency: a logic of evidence and truth.	Synth.	2019	DBLP DOI BibTeX RDF
24	Michal Walicki, Sjur K. Dyrkolbotn	Paraconsistency, resolution and relevance.	CoRR	2019	DBLP BibTeX RDF
24	Arnon Avron	Paraconsistency and the need for infinite semantics.	Soft Comput.	2019	DBLP DOI BibTeX RDF
24	Gabriele Pulcini, Achille C. Varzi	Paraconsistency in classical logic.	Synth.	2018	DBLP DOI BibTeX RDF
24	Evandro Luís Gomes	Sobre a história da paraconsistência e a obra de da Costa: ainstauração da Lógica Paraconsistente [On the history of paraconsistency and da Costa's work: the establishment of paraconsistent logic]. (December, 2013). 535p + appendixes.	Bull. Symb. Log.	2018	DBLP DOI BibTeX RDF
24	Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, Alireza Ahrary	Handling Paraconsistency and Paracompleteness in Robotics.	INISTA	2018	DBLP DOI BibTeX RDF
24	Norihiro Kamide	Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning.	Reports Math. Log.	2017	DBLP BibTeX RDF
24	Diana Costa 0001, Manuel A. Martins 0001	Paraconsistency in hybrid logic.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
24	Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João Inácio da Silva Filho	The Importance of Paraconsistency and Paracompleteness in Intelligent Systems.	KES-IDT (2)	2017	DBLP DOI BibTeX RDF
24	Diana Grooters, Henry Prakken	Two Aspects of Relevance in Structured Argumentation: Minimality and Paraconsistency.	J. Artif. Intell. Res.	2016	DBLP DOI BibTeX RDF
24	Tiantian Gao, Paul Fodor, Michael Kifer	Paraconsistency and Word Puzzles.	CoRR	2016	DBLP BibTeX RDF
24	Anders Schlichtkrull, Jørgen Villadsen	Paraconsistency.	Arch. Formal Proofs	2016	DBLP BibTeX RDF
24	Tiantian Gao, Paul Fodor, Michael Kifer	Paraconsistency and word puzzles.	Theory Pract. Log. Program.	2016	DBLP DOI BibTeX RDF
24	Norihiro Kamide, Daiki Koizumi	Method for Combining Paraconsistency and Probability in Temporal Reasoning.	J. Adv. Comput. Intell. Intell. Informatics	2016	DBLP DOI BibTeX RDF
24	Tetsuya Murai, Yasuo Kudo, Seiki Akama	Paraconsistency, Chellas's Conditional Logics, and Association Rules.	Towards Paraconsistent Engineering	2016	DBLP DOI BibTeX RDF
24	Jonas R. Becker Arenhart	Liberating Paraconsistency from Contradiction.	Logica Universalis	2015	DBLP DOI BibTeX RDF
24	Jan A. Bergstra, Inge Bethke	Note on paraconsistency and reasoning about fractions.	J. Appl. Non Class. Logics	2015	DBLP DOI BibTeX RDF
24	Rodolfo Ertola, Francesc Esteva, Tommaso Flaminio, Lluís Godo, Carles Noguera	Paraconsistency properties in degree-preserving fuzzy logics.	Soft Comput.	2015	DBLP DOI BibTeX RDF
24	Jair Minoro Abe (eds.)	Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency		2015	DBLP DOI BibTeX RDF
24	Norihiro Kamide, Daiki Koizumi	Combining Paraconsistency and Probability in CTL.	ICAART (2)	2015	DBLP BibTeX RDF
24	Cláudio Rodrigo Torres, Régis Reis	The New Hardware Structure of the Emmy II Robot.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
24	Fábio Romeu de Carvalho	Paraconsistent Logic in Decision Making: Paraconsistent Decision Method (PDM).	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
24	Sheila Souza, Jair Minoro Abe	Paraconsistent Artificial Neural Networks and Aspects of Pattern Recognition.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
24	Euro de Barros Couto Junior	A Suggestion for Sample Size Determination Using an Instrument for Collecting Medical Data Based on Discrete Items.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
24	João Inácio da Silva Filho, Irapajy da Silva Caetano, Floriana Nascimento Pontes, Maurício Conceição Mário, Jair Minoro Abe, Fábio Giordano	Paraconsistent Logic Algorithms Applied to Seasonal Comparative Analysis with Biomass Data Extracted by the Fouling Process.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
24	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama	Paraconsistent Annotated Logic Program EVALPSN and Its Applications.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
24	Jair Minoro Abe, Helder Frederico da Silva Lopes, Renato Anghinah	Paraconsistent Neurocomputing and Biological Signals Analysis.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
24	Maurício Conceição Mário, Marcílio Dias Lopes, Cláudio Luís Magalhães Fernandes, Dorotéa Vilanova Garcia, João Inácio da Silva Filho, José Carlos Morilla, Clóvis Misseno Da Cruz, Jair Minoro Abe, Cláudio Rodrigo Torres, Deovaldo de Moraes Júnior	An Algorithmic Method Supported by Paraconsistent Annotated Logic Applied to the Determination of Friction Factors for Turbulent Flow in Smooth Pipes.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
24	Jair Minoro Abe	Paraconsistent Logics: Preamble.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
24	Paulo Henrique Ferraz Masotti, Roberto Navarro de Mesquita	Paraconsistent Logic Study of Image Focus in Cylindrical Refraction Experiments.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
24	Jan A. Bergstra, Inge Bethke	Note on paraconsistency and the logic of fractions.	CoRR	2014	DBLP BibTeX RDF
24	Arnon Avron	Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics.	J. Appl. Non Class. Logics	2014	DBLP DOI BibTeX RDF
24	José Luis Castiglioni, Rodolfo Cristian Ertola Biraben	Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation.	Log. J. IGPL	2014	DBLP DOI BibTeX RDF
24	Jesse Alama	A machine-assisted view of paraconsistency.	CoRR	2013	DBLP BibTeX RDF
24	András Kertész, Csilla Rákosi	Paraconsistency and Plausible Argumentation in Generative Grammar: A Case Study.	J. Log. Lang. Inf.	2013	DBLP DOI BibTeX RDF
24	Koji Tanaka, Francesco Berto, Edwin D. Mares, Francesco Paoli (eds.)	Paraconsistency: Logic and Applications		2013	DBLP DOI BibTeX RDF
24	Rodolfo Ertola, Francesc Esteva, Tommaso Flaminio, Lluís Godo, Carles Noguera	Exploring Paraconsistency in Degree-Preserving Fuzzy Logics.	EUSFLAT Conf.	2013	DBLP DOI BibTeX RDF
24	Gemma Robles	Paraconsistency and consistency understood as the absence of the negation of any implicative theorem.	Reports Math. Log.	2012	DBLP BibTeX RDF
24	Graham Priest	Realism, Antirealism, and Paraconsistency.	The Realism-Antirealism Debate in the Age of Alternative Logics	2012	DBLP DOI BibTeX RDF
24	Vladimir L. Vasyukov	Paraconsistency in Categories: Case of Relevance Logic.	Stud Logica	2011	DBLP DOI BibTeX RDF
24	Ofer Arieli, Arnon Avron, Anna Zamansky	Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.	Stud Logica	2011	DBLP DOI BibTeX RDF
24	Can Baskent	Paraconsistency and Topological Semantics	CoRR	2011	DBLP BibTeX RDF
24	Peter Verdée	Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic.	WoLLIC	2011	DBLP DOI BibTeX RDF
24	Norihiro Kamide, Heinrich Wansing	Combining linear-time temporal logic with constructiveness and paraconsistency.	J. Appl. Log.	2010	DBLP DOI BibTeX RDF
24	Carl Hewitt	Norms and Commitment for ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking	CoRR	2009	DBLP BibTeX RDF
24	Gemma Robles, José M. Méndez	Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency.	J. Log. Lang. Inf.	2009	DBLP DOI BibTeX RDF
24	Luis Estrada-González, Claudia Olmedo-García	Can Paraconsistency Replace Non-Monotonicity?	LA-NMR	2009	DBLP BibTeX RDF
24	Carl Hewitt	Common sense for concurrency and strong paraconsistency using unstratified inference and reflection	CoRR	2008	DBLP BibTeX RDF
24	Otávio A. S. Bueno, Newton C. A. da Costa	Quasi-truth, paraconsistency, and the foundations of science.	Synth.	2007	DBLP DOI BibTeX RDF	Scientific change, Coherence, Inconsistency, Paraconsistent logic, Rationality
24	Andrew David Irvine	John Woods, Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences.	Stud Logica	2007	DBLP DOI BibTeX RDF
24	Graham Priest	Paraconsistency and dialetheism.	The Many Valued and Nonmonotonic Turn in Logic	2007	DBLP DOI BibTeX RDF
24	Eduardo Ariza, José Arrazola	Analysis of the paraconsistency in some logics.	LA-NMR	2007	DBLP BibTeX RDF
24	Joke Meheus	An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency.	J. Philos. Log.	2006	DBLP DOI BibTeX RDF
24	Ricardo Sousa Silvestre	Modality, Paraconsistency and Paracompleteness.	Advances in Modal Logic	2006	DBLP BibTeX RDF
24	Andrzej Wisniewski, Guido Vanackere, Dorota Leszczynska	Socratic Proofs and Paraconsistency: A Case Study.	Stud Logica	2005	DBLP DOI BibTeX RDF	Socratic proofs, logic of questions, paraconsistent logics
24	Chris Mortensen, P. Quigley	Cubic Logic, Ulam Games, and Paraconsistency.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
24	Jørgen Villadsen	Supra-logic: Using Transfinite Type Theory with Type Variables for Paraconsistency.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
24	Claudio Pizzi	Aristotle's Thesis between paraconsistency and modalization.	J. Appl. Log.	2005	DBLP DOI BibTeX RDF
24	Arnon Avron	Combining classical logic, paraconsistency and relevance.	J. Appl. Log.	2005	DBLP DOI BibTeX RDF