Results 41 to 50 of about 44,803 (280)
Towards an algebrization of a linear temporal logic
CQD Revista Eletrônica Paulista de MatemáticaThe subject of this paper is the Propositional Neighbourhood Logic (PNL), a case of linear temporal logic and an extension of Classical Propositional Logic that results from the inclusion of modal operators that deal with certain temporal aspects.
Romulo Albano de Freitas +2 more
doaj +1 more source
Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In this paper sequent calculi for the classical fragment (that is, the conjunction-disjunction-implication-negation fragment) of the nonsense logics B3, introduced by Bochvar, and H3, introduced by Halldén, are presented.
Marcelo E. Coniglio, María I. Corbalán
doaj +1 more source
Interpretable land cover classification with modal decision trees
European Journal of Remote Sensing, 2023 Land cover classification (LCC) refers to the task of classifying each pixel in satellite/aerial imagery by predicting a label carrying information about its nature.
G. Pagliarini, G. Sciavicco
doaj +1 more source
Modal logic S4 as a paraconsistent logic with a topological semantics [PDF]
, 2017 In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models.
E. Coniglio, Marcelo +1 more
core
An algebraic generalization of Kripke structures
, 2007 The Kripke semantics of classical propositional normal modal logic is made algebraic via an embedding of Kripke structures into the larger class of pointed stably supported quantales.
Emerson +8 more
core +1 more source
Anatomical Sciences Education, Volume 18, Issue 3, Page 289-300, March 2025.Abstract It is likely existing anatomical illustrations are often used as the basis for new illustrative works, given not all illustrators have access to human tissues, bodies, or prosections on which to base their illustrations. Potential issues arise with this practice in the realms of copyright infringement and plagiarism when authors are seeking to
Jon Cornwall +7 more
wiley +1 more source
Relating Sequent Calculi for Bi-intuitionistic Propositional Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Bi-intuitionistic logic is the conservative extension of intuitionistic logic with a connective dual to implication. It is sometimes presented as a symmetric constructive subsystem of classical logic.
Luís Pinto, Tarmo Uustalu
doaj +1 more source
A Classification of Improper Inference Rules
Bulletin of the Section of Logic, 2022 In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to proper ones.
Katsumi Sasaki
doaj +1 more source
, 2004 Up to equivalence, a substitution in propositional logic is an endomorphism of its free algebra. On the dual space, this results in a continuous function, and whenever the space carries a natural measure one may ask about the stochastic properties of the
Panti, Giovanni
core +3 more sources
The extension of the taxon cycle model to island plants: insights from the Canarian vascular flora
Biological Reviews, EarlyView.ABSTRACT Taxon cycle models describe eco‐evolutionary patterns of lineage colonization, diversification, and decline across archipelagos, inferring an important role for competition amongst ecologically similar taxa in driving concurrent niche changes.
José María Fernández‐Palacios +2 more
wiley +1 more source