Bibliographies thématiques / Labelled deductive system

Littérature scientifique sur le sujet « Labelled deductive system »

Auteur : Grafiati
Publié le 11 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Sommaire

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Labelled deductive system ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Labelled deductive system"

1

KEMPSON, RUTH, et DOV GABBAY. « Crossover : a unified view ». Journal of Linguistics 34, no 1 (mars 1998) : 73–124. http://dx.doi.org/10.1017/s0022226797006841.

Texte intégral
Résumé :
This paper informally outlines a Labelled Deductive System for on-line language processing. Interpretation of a string is modelled as a composite lexically driven process of type deduction over labelled premises forming locally discrete databases, with rules of database inference then dictating their mode of combination. The particular LDS methodology is illustrated by a unified account of the interaction of wh-dependency and anaphora resolution, the so-called ‘cross-over’ phenomenon, currently acknowledged to resist a unified explanation. The shift of perspective this analysis requires is that interpretation is defined as a proof structure for labelled deduction, and assignment of such structure to a string is a dynamic left-right process in which linearity considerations are ineliminable.
Styles APA, Harvard, Vancouver, ISO, etc.
2

READ, STEPHEN. « SEMANTIC POLLUTION AND SYNTACTIC PURITY ». Review of Symbolic Logic 8, no 4 (7 août 2015) : 649–61. http://dx.doi.org/10.1017/s1755020315000210.

Texte intégral
Résumé :
AbstractLogical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus. It has been claimed that certain proof-theoretical systems, most particularly, labelled deductive systems for modal logic, are unsuitable, on the grounds that they are semantically polluted and suffer from an untoward intrusion of semantics into syntax. The charge is shown to be mistaken. It is argued on inferentialist grounds that labelled deductive systems are as syntactically pure as any formal system in which the rules define the meanings of the logical constants.
Styles APA, Harvard, Vancouver, ISO, etc.
3

Kolowska-Gawiejnowicz, Miroslawa. « A Labelled Deductive System for Relational Semantics of the Lambek Calculus ». Mathematical Logic Quarterly 45, no 1 (1999) : 51–58. http://dx.doi.org/10.1002/malq.19990450105.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Marin, Sonia, Marianela Morales et Lutz Straßburger. « A fully labelled proof system for intuitionistic modal logics ». Journal of Logic and Computation 31, no 3 (avril 2021) : 998–1022. http://dx.doi.org/10.1093/logcom/exab020.

Texte intégral
Résumé :
Abstract Labelled proof theory has been famously successful for modal logics by mimicking their relational semantics within deductive systems. Simpson in particular designed a framework to study a variety of intuitionistic modal logics integrating a binary relation symbol in the syntax. In this paper, we present a labelled sequent system for intuitionistic modal logics such that there is not only one but two relation symbols appearing in sequents: one for the accessibility relation associated with the Kripke semantics for normal modal logics and one for the pre-order relation associated with the Kripke semantics for intuitionistic logic. This puts our system in close correspondence with the standard birelational Kripke semantics for intuitionistic modal logics. As a consequence, it can be extended with arbitrary intuitionistic Scott–Lemmon axioms. We show soundness and completeness, together with an internal cut elimination proof, encompassing a wider array of intuitionistic modal logics than any existing labelled system.
Styles APA, Harvard, Vancouver, ISO, etc.
5

NEGRI, SARA, et GIORGIO SBARDOLINI. « PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS ». Review of Symbolic Logic 9, no 1 (1 décembre 2015) : 44–75. http://dx.doi.org/10.1017/s1755020315000295.

Texte intégral
Résumé :
AbstractA deductive system for Lewis counterfactuals is presented, based directly on the influential generalisation of relational semantics through ternary similarity relations introduced by Lewis. This deductive system builds on a method of enriching the syntax of sequent calculus by labels for possible worlds. The resulting labelled sequent calculus is shown to be equivalent to the axiomatic system VC of Lewis. It is further shown to have the structural properties that are needed for an analytic proof system that supports root-first proof search. Completeness of the calculus is proved in a direct way, such that for any given sequent either a formal derivation or a countermodel is provided; it is also shown how finite countermodels for unprovable sequents can be extracted from failed proof search, by which the completeness proof turns into a proof of decidability.
Styles APA, Harvard, Vancouver, ISO, etc.
6

D'Agostino, Marcello, et Dov M. Gabbay. « A generalization of analytic deduction via labelled deductive systems. Part I : Basic substructural logics ». Journal of Automated Reasoning 13, no 2 (1994) : 243–81. http://dx.doi.org/10.1007/bf00881958.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Rasga, J. « Fibring Labelled Deduction Systems ». Journal of Logic and Computation 12, no 3 (1 juin 2002) : 443–73. http://dx.doi.org/10.1093/logcom/12.3.443.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

KEMPSON, RUTH. « Ellipsis in a Labelled Deduction System ». Logic Journal of IGPL 3, no 2-3 (1995) : 489–526. http://dx.doi.org/10.1093/jigpal/3.2-3.489.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Fu, Jun, Jinzhao Wu et Hongyan Tan. « A Deductive Approach towards Reasoning about Algebraic Transition Systems ». Mathematical Problems in Engineering 2015 (2015) : 1–12. http://dx.doi.org/10.1155/2015/607013.

Texte intégral
Résumé :
Algebraic transition systems are extended from labeled transition systems by allowing transitions labeled by algebraic equations for modeling more complex systems in detail. We present a deductive approach for specifying and verifying algebraic transition systems. We modify the standard dynamic logic by introducing algebraic equations into modalities. Algebraic transition systems are embedded in modalities of logic formulas which specify properties of algebraic transition systems. The semantics of modalities and formulas is defined with solutions of algebraic equations. A proof system for this logic is constructed to verify properties of algebraic transition systems. The proof system combines with inference rules decision procedures on the theory of polynomial ideals to reduce a proof-search problem to an algebraic computation problem. The proof system proves to be sound but inherently incomplete. Finally, a typical example illustrates that reasoning about algebraic transition systems with our approach is feasible.
Styles APA, Harvard, Vancouver, ISO, etc.
10

OEHRLE, DICK. « Some 3-Dimensional Systems of Labelled Deduction ». Logic Journal of IGPL 3, no 2-3 (1995) : 429–48. http://dx.doi.org/10.1093/jigpal/3.2-3.429.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "Labelled deductive system"

1

Bjurling, Bjorn. « A labelled deductive system for reasoning about random experiments ». Thesis, Imperial College London, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.428123.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Jiang, Yan. « Logical dependency in quantification ». Thesis, University College London (University of London), 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.306968.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Rothenberg, Robert. « On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics ». Thesis, University of St Andrews, 2010. http://hdl.handle.net/10023/1350.

Texte intégral
Résumé :
In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call Int∗/Geo. We introduce a novel calculus for a fragment of first-order classical logic, which we call partially-shielded formulae (or PSF for short), that is adequate for expressing the semantic validity of formulae in Int∗/Geo, and apply techniques from correspondence theory to provide translations of hypersequents, simply labelled sequents and relational sequents (simply labelled sequents with relational formulae) into PSF. Using these translations, we show that hypersequents and simply labelled sequents for calculi in Int∗/Geo share the same models. We also use these translations to justify various techniques that we introduce for translating simply labelled sequents into relational sequents and vice versa. In particular, we introduce a technique called "transitive unfolding" for translating relational sequents into simply labelled sequents (and by extension, hypersequents) which preserves linear models in Int∗/Geo. We introduce syntactic translations between hypersequent calculi and simply labelled sequent calculi. We apply these translations to a novel hypersequent framework HG3ipm∗ for some logics in Int∗/Geo to obtain a corresponding simply labelled sequent framework LG3ipm∗, and to an existing simply labelled calculus for Int from the literature to obtain a novel hypersequent calculus for Int. We introduce methods for translating a simply labelled sequent calculus into a cor- responding relational calculus, and apply these methods to LG3ipm∗ to obtain a novel relational framework RG3ipm∗ that bears similarities to existing calculi from the literature. We use transitive unfolding to translate proofs in RG3ipm∗ into proofs in LG3ipm∗ and HG3ipm∗ with the communication rule, which corresponds to the semantic restriction to linear models.
Styles APA, Harvard, Vancouver, ISO, etc.
4

KARAFILI, Erisa. « Deduction and algorithmic approaches to reason about risk, privacy and security in multi-agent systems ». Doctoral thesis, 2014. http://hdl.handle.net/11562/696564.

Texte intégral
Résumé :
Recentemente c'è stato un crescente interesse per la privacy e il suo controllo nei sistemi multi-agente. La necessità di condividere le informazioni e il desiderio di mantenerli privati sono due concetti in competizione , in alcuni casi anche in conflitto, che incidono sui sistemi multi-agente, in particolare nei sistemi collaborativi. Il problema principale che ho affrontato è la protezione della sicurezza nei sistemi multi-agente. In questa tesi propongo diversi approcci, che sono tutti collegati gli uni agli altri. Il primo approccio è quello algoritmico, che viene utilizzato per garantire la sicurezza di un sistema multi-agente dagli attacchi compiuti dai suoi membri. In seguito presento un metodo deduttivo, che permette di effettuare una analisi del rischio. L'approccio deduttivo è composto da un tableau system che si basa su una struttura che permette la rappresentazione e il ragionamento sul rischio. Il tableau system utilizza le relazioni causali tra eventi. Per migliorare l'analisi dei rischi presento una logica con il suo sistema di riscrittura che trova svolgimenti plausibili di eventi (che sono eventi legati tra loro da diversi rapporti causali).
Recently there has been an increasing interest in privacy and its control in multi-agent systems. The need to share information and the desire to keep it private are two competing concepts, in some cases even in conflict, which affect the multi-agent systems, in particular collaboration systems. The main problem that I deal with is the protection of security in multi-agent systems. I propose different approaches, which are all related to each other. The first approach is an algorithmic one, used for ensuring a multi-agent system from different attacks performed by its members. I later introduce a deductive approach, which permits one to perform risk analysis. The deductive approach is composed by a tableau system that is based on a framework for representing and reasoning about risk. This tableau system uses the causal relations between events. For improving the risk analysis I introduce a logic with its rewriting system that finds plausible courses of events (that are events related to each other by different causal relations).
Styles APA, Harvard, Vancouver, ISO, etc.

Livres sur le sujet "Labelled deductive system"

1

Gabbay, Dov M. Labelled deductive systems. Oxford : Clarendon Press, 1996.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Gabbay, Dov M. Labelled Deductive Systems. Oxford University Press, 1996.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

(Editor), Krysia Broda, dir. Compiled Labelled Deductive Systems : A Uniform Presentation of Non-Classical Logics (Studies in Logic and Computation). Institute of Physics Publishing, 2004.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Chapitres de livres sur le sujet "Labelled deductive system"

1

Chau, Hiu Fai. « A proof search system for a modal substructural logic based on labelled deductive systems ». Dans Logic Programming and Automated Reasoning, 64–75. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56944-8_42.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Gabbay, Dov M. « Introduction to Labelled Deductive Systems ». Dans Handbook of Philosophical Logic, 179–266. Dordrecht : Springer Netherlands, 2013. http://dx.doi.org/10.1007/978-94-007-6600-6_3.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Gabbay, D. M. « Abduction in Labelled Deductive Systems ». Dans Abductive Reasoning and Learning, 99–154. Dordrecht : Springer Netherlands, 2000. http://dx.doi.org/10.1007/978-94-017-1733-5_3.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Viganò, Luca. « Labelled Natural Deduction Systems for Propositional Modal Logics ». Dans Labelled Non-Classical Logics, 17–52. Boston, MA : Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-3208-5_2.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Viganò, Luca. « Labelled Natural Deduction Systems for Quantified Modal Logics ». Dans Labelled Non-Classical Logics, 91–113. Boston, MA : Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-3208-5_4.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Viganò, Luca. « Labelled Natural Deduction Systems for Propositional Non-Classical Logics ». Dans Labelled Non-Classical Logics, 53–89. Boston, MA : Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-3208-5_3.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Indrzejczak, Andrzej. « Labelled Systems in Modal Logics ». Dans Natural Deduction, Hybrid Systems and Modal Logics, 259–96. Dordrecht : Springer Netherlands, 2010. http://dx.doi.org/10.1007/978-90-481-8785-0_8.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Russo, Alessandra. « Generalising Propositional Modal Logic Using Labelled Deductive Systems ». Dans Applied Logic Series, 57–73. Dordrecht : Springer Netherlands, 1996. http://dx.doi.org/10.1007/978-94-009-0349-4_2.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Gabbay, D. M. « Abduction in labelled deductive systems a conceptual abstract ». Dans Lecture Notes in Computer Science, 1–11. Berlin, Heidelberg : Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54659-6_58.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Rasga, João, Amílcar Sernadas, Cristina Sernadas et Luca Viganò. « Labelled Deduction over Algebras of Truth-Values* ». Dans Frontiers of Combining Systems, 222–39. Berlin, Heidelberg : Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45988-x_18.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Labelled deductive system"

1

Caleiro, Carlos, Luca Viganò et Marco Volpe. « A Labeled Deduction System for the Logic UB ». Dans 2013 20th International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2013. http://dx.doi.org/10.1109/time.2013.14.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Vigan, Luca, et Marco Volpe. « Labeled Natural Deduction Systems for a Family of Tense Logics ». Dans 2008 15th International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2008. http://dx.doi.org/10.1109/time.2008.28.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Labelled deductive system » pour d’autres types de sources :
Articles de revues
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie