Relevant bibliographies by topics / Duality (Logic)

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Duality (Logic)'

Author: Grafiati
Published: 4 June 2021
Last updated: 31 July 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Duality (Logic).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Duality (Logic)"

1

Carnielli, Walter, Marcelo E. Coniglio, and Abilio Rodrigues. "Recovery operators, paraconsistency and duality." Logic Journal of the IGPL 28, no. 5 (2019): 624–56. http://dx.doi.org/10.1093/jigpal/jzy054.

Full text
Abstract:
Abstract There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express metalogical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the logics of formal inconsistency (LFIs) and by the logics of formal undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the validity of the principle of excluded middle in a
APA, Harvard, Vancouver, ISO, and other styles
2

Bidoit, Michel, Rolf Hennicker, and Alexander Kurz. "Observational logic, constructor-based logic, and their duality." Theoretical Computer Science 298, no. 3 (2003): 471–510. http://dx.doi.org/10.1016/s0304-3975(02)00865-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Battilotti, Giulia. "Symmetry vs. Duality in Logic." International Journal of Cognitive Informatics and Natural Intelligence 8, no. 4 (2014): 83–97. http://dx.doi.org/10.4018/ijcini.2014100105.

Full text
Abstract:
The author discusses the problem of symmetry, namely of the orientation of the logical consequence. The author shows that the problem is surprisingly entangled with the problem of “being infinite”. The author presents a model based on quantum states and shows that it features satisfy the requirements of the symmetric mode of Bi-logic, a logic introduced in the '70s by the psychoanalyst I. Matte Blanco to describe the logic of the unconscious. The author discusess symmetry, in the model, to include correlations, in order to obtain a possible approach to displacement. In this setting, the author
APA, Harvard, Vancouver, ISO, and other styles
4

Da Ré, Bruno, Federico Pailos, Damian Szmuc, and Paula Teijeiro. "Metainferential duality." Journal of Applied Non-Classical Logics 30, no. 4 (2020): 312–34. http://dx.doi.org/10.1080/11663081.2020.1826156.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Carai, Luca. "New Directions in Duality Theory for Modal Logic." Bulletin of Symbolic Logic 27, no. 4 (2021): 527. http://dx.doi.org/10.1017/bsl.2021.52.

Full text
Abstract:
AbstractIn this work we present some new contributions towards two different directions in the study of modal logic. First we employ tense logics to provide a temporal interpretation of intuitionistic quantifiers as “always in the future” and “sometime in the past.” This is achieved by modifying the Gödel translation and resolves an asymmetry between the standard interpretation of intuitionistic quantifiers.Then we generalize the classic Gelfand–Naimark–Stone duality between compact Hausdorff spaces and uniformly complete bounded archimedean $\ell $ -algebras to a duality encompassing compact
APA, Harvard, Vancouver, ISO, and other styles
6

MONJARDET, BERNARD. "SOME ORDER DUALITIES IN LOGIC, GAMES AND CHOICES." International Game Theory Review 09, no. 01 (2007): 1–12. http://dx.doi.org/10.1142/s0219198907001242.

Full text
Abstract:
We first present the concept of duality appearing in order theory, i.e. the notions of dual isomorphism and of Galois connection. Then, we describe two fundamental dualities, the duality extension/intention associated with a binary relation between two sets, and the duality between implicational systems and closure systems. Finally, we present two "concrete" dualities occuring in social choice and in choice functions theories.
APA, Harvard, Vancouver, ISO, and other styles
7

Чючюра, Я. "A Weakly-Intuitionistic Logic I1." Logical Investigations 21, no. 2 (2015): 53–60. http://dx.doi.org/10.21146/2074-1472-2015-21-2-53-60.

Full text
Abstract:
In 1995, Sette and Carnielli presented a calculus, $I1$, which is intended to be dual to the paraconsistent calculus $P1$. The duality between $I1$ and $P1$ is reflected in the fact that both calculi are maximal with respect to classical propositional logic and they behave in a special, non-classical way, but only at the level of variables. Although some references are given in the text, the authors do not explicitly define what they mean by ‘duality’ between the calculi. For instance, no definition of the translation function from the language of $I1$ into the language of $P1$ (or from $P1$ t
APA, Harvard, Vancouver, ISO, and other styles
8

McKee, T. A. "The Logic of Graph-Theoretic Duality." American Mathematical Monthly 92, no. 7 (1985): 457. http://dx.doi.org/10.2307/2322497.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Sambin, Giovanni, and Virginia Vaccaro. "Topology and duality in modal logic." Annals of Pure and Applied Logic 37, no. 3 (1988): 249–96. http://dx.doi.org/10.1016/0168-0072(88)90021-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Makkai, M. "Stone duality for first order logic." Advances in Mathematics 65, no. 2 (1987): 97–170. http://dx.doi.org/10.1016/0001-8708(87)90020-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Duality (Logic)"

1

Esteban, María. "Duality Theory and Abstract Algebraic Logic." Doctoral thesis, Universitat de Barcelona, 2013. http://hdl.handle.net/10803/125336.

Full text
Abstract:
In this thesis we present the results of our research on duality theory for non-classical logics under the point of view of Abstract Algebraic Logic (AAL). Firstly, we propose an abstract Spectral-like duality and an abstract Priestley-style duality for every filter distributive finitary congruential logic with theorems. This proposal aims to unify the various dualities for concrete logics that we find in the literature, by showing the abstract template in which all of them fit. Secondly, the dual correspondence of some logical properties is examined. This serves to reveal the connection betwe
APA, Harvard, Vancouver, ISO, and other styles
2

Downen, Paul. "Sequent Calculus: A Logic and a Language for Computation and Duality." Thesis, University of Oregon, 2017. http://hdl.handle.net/1794/22659.

Full text
Abstract:
Truth and falsehood, questions and answers, construction and deconstruction; most things come in dual pairs. Duality is a mirror that reveals the new from the old via opposition. This idea appears pervasively in logic, where duality inverts "true" with "false" and "and" with "or." However, even though programming languages are closely connected to logics, this kind of strong duality is not so apparent in practice. Sum types (disjoint tagged unions) and product types (structures) are dual concepts, but in the realm of programming, natural biases obscure their duality. To better understand
APA, Harvard, Vancouver, ISO, and other styles
3

Börjeson, Kaj. "Free loop spaces, Koszul duality and A-infinity algebras." Doctoral thesis, Stockholms universitet, Matematiska institutionen, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-145403.

Full text
Abstract:
This thesis consists of four papers on the topics of free loop spaces, Koszul duality and A∞-algebras.  In Paper I we consider a definition of differential operators for noncommutative algebras. This definition is inspired by the connections between differential operators of commutative algebras, L∞-algebras and BV-algebras. We show that the definition is reasonable by establishing results that are analoguous to results in the commutative case. As a by-product of this definition we also obtain definitions for noncommutative versions of Gerstenhaber and BV-algebras.  In Paper II we calculate th
APA, Harvard, Vancouver, ISO, and other styles
4

Jourdan, Julien. "Logic Duality, Conformity, and Survival in the French Film Industry, 1987-2008." Phd thesis, HEC, 2011. http://pastel.archives-ouvertes.fr/pastel-00705377.

Full text
Abstract:
This dissertation explores how logic duality, that is the coexistence of two institutional logics in an industry, affects firm strategic behaviors, and how in return firm strategic behaviors contribute (or not) to maintain logics segregated. Theoretically, I investigate the liability firms face when entering industries governed by a different logic, the wayincumbent organizations respond to the conformity demands of logic foreigners, and the determinants of firm-level institutional capital. Empirically, I study investment funds, filmmaking organizations and production firms in the French film
APA, Harvard, Vancouver, ISO, and other styles
5

Rouleau, Vincent L. "Towards an Understanding of Girard's Transcendental Syntax: Syntax by Testing." Thèse, Université d'Ottawa / University of Ottawa, 2013. http://hdl.handle.net/10393/23680.

Full text
Abstract:
Through his work in ludics and Geometry of Interaction, Jean-Yves Girard invites us to a change of paradigm in the study of logic: the quest for a transcendental syntax, some kind of idealized language that emerges from the rules of logic. Amongst these rules, "testing" plays a leading role in defining a duality for the interpretation of negation. The present work focuses on a notion of polarity which is a central technique used throughout Girard's work to express linear negation. We describe some properties and illustrate them with examples with the purpose of getting acquainted with the te
APA, Harvard, Vancouver, ISO, and other styles
6

Altice, Jessica Mae. "“You Can Fight Logic…But You Can’t Fight God”: The Duality of Religious Text and Church as Community for White Lesbians in Appalachian and Rural Places." Scholar Commons, 2016. http://scholarcommons.usf.edu/etd/6060.

Full text
Abstract:
Much of the research conducted on lesbians and place focuses on women who live in urban areas or highlights how participants wish to live in urban areas. Knowing that there are lesbians who live in rural and Appalachian areas that do not wish to leave to urban areas, this research examines participants’ experiences living in those places. Participants discuss how religion is a socially circulating meaning system in the places they live and it dictates much of social life. I argue that religion has a two-fold meaning for participants: one, it is a religious text that is used as a social control
APA, Harvard, Vancouver, ISO, and other styles
7

Baader, Franz, Francesco Kriegel, and Adrian Nuradiansya. "Privacy-Preserving Ontology Publishing for EL Instance Stores." Springer, 2019. https://tud.qucosa.de/id/qucosa%3A70975.

Full text
Abstract:
We make a first step towards adapting an existing approach for privacy-preserving publishing of linked data to Description Logic (DL) ontologies. We consider the case where both the knowledge about individuals and the privacy policies are expressed using concepts of the DL EL , which corresponds to the setting where the ontology is an EL instance store. We introduce the notions of compliance of a concept with a policy and of safety of a concept for a policy, and show how optimal compliant (safe) generalizations of a given EL concept can be computed. In addition, we investigate the complexity o
APA, Harvard, Vancouver, ISO, and other styles
8

Valota, D. "DUALITIES AND REPRESENTATIONS FOR MANY-VALUED LOGICS IN THE HIERARCHY OF WEAK NILPOTENT MINIMUM." Doctoral thesis, Università degli Studi di Milano, 2012. http://hdl.handle.net/2434/172442.

Full text
Abstract:
In this thesis we study particular subclasses of WNM algebras. The variety of WNM algebras forms the algebraic semantics of the WNM logic, a propositional many-valued logic that generalizes some well-known case in the setting of triangular norms logics. WNM logic lies in the hierarchy of schematic extensions of MTL, which is proven to be the logic of all left-continuous triangular norms and their residua. In this work, I have extensively studied two extensions of WNM logic, namely RDP logic and NMG logic, from the point of view of algebraic and categorical logic. We develop spectr
APA, Harvard, Vancouver, ISO, and other styles
9

Zaïdi, Mehdi. "Dualité pour le fragment existentiel de la logique du premier ordre sur les mots." Thesis, Université Côte d'Azur, 2022. https://tel.archives-ouvertes.fr/tel-03882130.

Full text
Abstract:
Cette thèse s'intéresse à l'application de méthodes de dualité topologique à des problèmes de l'informatique théorique. Un des objectifs finaux de cette démarche est l'obtention de résultats en théorie de la complexité, via l'étude d'objets topologiques caractérisant les différentes classes de complexité. La logique est ce qui est à l'interface entre ces deux domaines en apparence très éloignés, plus particulièrement un sous-domaine de la théorie des modèles finis : la logique sur les mots. Il est possible de donner une description de certaines classes de complexité comme des familles de langa
APA, Harvard, Vancouver, ISO, and other styles
10

Firaza, Joanna. "Die Ästhetik des Dramenwerks von Rainer Werner Fassbinder : die Struktur der Doppelheit /." Frankfurt am Main [u.a.] : Lang, 2002. http://www.gbv.de/dms/bs/toc/342126318.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Duality (Logic)"

1

Xiaoqi, Yang, ed. Duality in optimization and variational inequalities. Taylor & Francis, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Brink, Chris. A paradigm for program semantics: Power structures and duality. CSLI Publications, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Baĭramov, Tair. Advaĭta i dualʹnostʹ v khudozhestvennoĭ kartine mira. "Täknur", 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Courthès, Eric. Augusto Roa Bastos: Hijo de la dualidad y maestro de la delegación de la escritura. Servi Libro, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Oliveira, Waltencir Alves de. O gosto dos extremos: Tensão e dualidade na poesia de João Cabral de Melo Neto, de Pedra do sono a Andando sevilha. Edusp, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Requena, Clarisse. Unité et dualité dans lœuvre de Prosper Mérimée: Mythe et récit. H. Champion, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

editor, Rumi︠a︡nt︠s︡eva N. M., and Kruglyĭ stol Novogodni︠a︡i︠a︡ igra v "chët-nechet" (2015 : Russia), eds. Novogodni︠a︡i︠a︡ igra v "chët-nechet". Nikitskiĭ klub, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Vicente, Bañuls José, De Martino Francesco, and Andresen Karen, eds. El teatre clàssic al marc de la cultura grega i la seua pervivència dins la cultura occidental, 3: La dualitat en el teatre : Universitat de València, 5-8 de maig 1999. Levante, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Karen, Andresen, Bañuls J. Vicente, and De Martino Francesco 1948-, eds. El teatre clàssic al marc de la cultura grega i la seua pervivència dins la cultura occidental, III: La dualitat en el teatre : Universitat de València, 5-8 de maig 1999. Levante, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Tcherkézoff, Serge. Dual classification reconsidered: Nyamwezi sacred kingship and other examples. Cambridge University Press, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Duality (Logic)"

1

Birkmann, Fabian, Henning Urbat, and Stefan Milius. "Monoidal Extended Stone Duality." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57228-9_8.

Full text
Abstract:
AbstractExtensions of Stone-type dualities have a long history in algebraic logic and have also been instrumental for proving results in algebraic language theory. We show how to extend abstract categorical dualities via monoidal adjunctions, subsuming various incarnations of classical extended Stone and Priestley duality as a special case. Guided by these categorical foundations, we investigate residuation algebras, which are algebraic models of language derivatives, and show the subcategory of derivation algebras to be dually equivalent to the category of profinite ordered monoids, restricting to a duality between boolean residuation algebras and profinite monoids. We further extend this duality to capture relational morphisms of profinite ordered monoids, which dualize to natural morphisms of residuation algebras.
APA, Harvard, Vancouver, ISO, and other styles
2

Esakia, Leo. "Duality Theory: Hybrids." In Trends in Logic. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-12096-2_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ghilardi, Silvio, and Marek Zawadowski. "Duality for Modal Algebras." In Trends in Logic. Springer Netherlands, 2002. http://dx.doi.org/10.1007/978-94-015-9936-8_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bezhanishvili, Nick, Clemens Kupke, and Prakash Panangaden. "Minimization via Duality." In Logic, Language, Information and Computation. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-32621-9_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gindikin, S. G. "Law of Duality in Algebraic Logic." In Algebraic Logic. Springer New York, 1985. http://dx.doi.org/10.1007/978-1-4757-1877-5_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Heckmann, Reinhold, and Michael Huth. "A duality theory for quantitative semantics." In Computer Science Logic. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0028019.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Gehrke, Mai. "Topological Duality and Algebraic Completions." In Outstanding Contributions to Logic. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-76920-8_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Romanowska, Anna B., and Jonathan D. H. Smith. "Diagrammatic duality." In Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-74772-9_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Goldblatt, Robert, and Matt Grice. "Mereocompactness and Duality for Mereotopological Spaces." In Outstanding Contributions to Logic. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-29300-4_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Awodey, Steve. "Sheaf Representations and Duality in Logic." In Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-66545-6_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Duality (Logic)"

1

Panangaden, Prakash. "Duality in Logic and Computation." In 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013). IEEE, 2013. http://dx.doi.org/10.1109/lics.2013.64.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hino, Wataru, Hiroki Kobayashi, Ichiro Hasuo, and Bart Jacobs. "Healthiness from Duality." In LICS '16: 31st Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2016. http://dx.doi.org/10.1145/2933575.2935319.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Gehrke, Mai. "Duality in Computer Science." In LICS '16: 31st Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2016. http://dx.doi.org/10.1145/2933575.2934575.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jansana, Ramon, and Umberto Rivieccio. "Priestley duality for N4-lattices." In The 8th conference of the European Society for Fuzzy Logic and Technology. Atlantis Press, 2013. http://dx.doi.org/10.2991/eusflat.2013.38.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Kozen, Dexter, Kim G. Larsen, Radu Mardare, and Prakash Panangaden. "Stone Duality for Markov Processes." In 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013). IEEE, 2013. http://dx.doi.org/10.1109/lics.2013.38.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Carvalho, Catarina, Víctor Dalmau, and Andrei Krokhin. "Caterpillar Duality for Constraint Satisfaction Problems." In 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008). IEEE, 2008. http://dx.doi.org/10.1109/lics.2008.19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Furber, Robert, Dexter Kozen, Kim Larsen, Radu Mardare, and Prakash Panangaden. "Unrestricted stone duality for Markov processes." In 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2017. http://dx.doi.org/10.1109/lics.2017.8005152.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Barto, Libor, Marcin Kozik, and Ross Willard. "Near Unanimity Constraints Have Bounded Pathwidth Duality." In 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012). IEEE, 2012. http://dx.doi.org/10.1109/lics.2012.24.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Hasegawa, Masahito, and Serge Lechenne. "Braids, Twists, Trace and Duality in Combinatory Algebras." In LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2024. http://dx.doi.org/10.1145/3661814.3662098.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Rai, Shubham, Heinz Riener, Giovanni De Micheli, and Akash Kumar. "Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies." In 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, 2021. http://dx.doi.org/10.23919/date51398.2021.9474112.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography