default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIfCoLog Journal of Logics and their Applications, Volume 7
Volume 7, Number 1, January 2020
- Martin Lukac:
Editorial for Special Issue on Multiple Valued Logic. 1-4 - Kevin Jin, Tahsin Saffat, Justin Morgan, Marek A. Perkowski:
A Polarity-based Approach for Optimization of Multivalued Quantum Multiplexers with Arbitrary Single-qubit Target Gates. 5-28 - Yasushi Yuminaka, Natsuki Sato, Takahito Chigira, Kohei Toyoda, Yosuke Iijima:
PAM-4 Signal Transmitter using FPGA and DAC for Serial-link Test. 29-40 - Naoya Onizawa, Duckgyu Shin, Takahiro Hanyu:
Fast Hardware-based Learning Algorithm for Binarized Perceptrons using CMOS Invertible Logic. 41-58 - Norihiro Kamide:
Some Properties for First-order Nelsonian Paraconsistent Quantum Logic. 59-88 - Naoya Onizawa, Ren Arakawa, Takahiro Hanyu:
Design of an MTJ-based Nonvolatile Multi-context Ternary Content-addressable Memory. 89-109
Volume 7, Number 2, March 2020
- Dov M. Gabbay:
Book Symposium on Woods' Truth in Fiction: Editorial Remarks. 111-112 - John Woods:
Truth in Fiction: Rethinking its Logic: A Précis. 113-126 - Robert Howell:
Into the Woods with Woods: Exploring Truths in and about Fiction. 127-144 - Bryson Brown:
Speaking of Fiction. 145-162 - Michel-Antoine Xhignesse:
Inheriting the World. 163-170 - Dominic McIver Lopes:
Sherlock is Law Abiding. 171-176 - Manuel García-Carpintero:
Referential Indeterminacy in Fiction. 177-190 - John Woods:
Responses to Essays. 191-226
Volume 7, Number 3, June 2020
- Annemarie Borg:
Assumptive Sequent-Based Argumentation. 227-294 - Dov M. Gabbay, Gadi Rozenberg:
Introducing Abstract Argumentation with Many Lives. 295-336 - Daniel Abraham Romano:
Hilbert Algebras in a Non-Classical Framework: Hilbert Algebras with Apartness. 337-360 - Andrzej Szalas:
A Paraconsistent ASP-Like Language with Tractable Model Generation. 361-389
Volume 7, Number 4, August 2020
- Rupert McCallum:
Extending Ideas of Tait for Incorporating Higher-order Parameters in Schemes of Reflection. 391-402 - John Grant:
Measuring Inconsistency in Finitary First-order Logic. 403-426 - Anatoly G. Kusraev, Semen S. Kutateladze:
Some Applications of Boolean Valued Analysis. 427-458 - Will Boney:
The Γ-ultraproduct and Averageable Classes. 459-498 - Umberto Rivieccio:
Fragments of Quasi-Nelson: Two Negations. 499-560 - Vanessa Kosoy, Alexander Appel:
Optimal Polynomial-time Estimators: A Bayesian Notion of Approximation Algorithm. 561-675
Volume 7, Number 5, September 2020
- Martha Lewis, Dan Marsden, Mehrnoosh Sadrzadeh:
Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science. 677-682 - Corina Strößner:
Integrating Conceptual Spaces in Frames. 683-706 - Douglas Summers-Stay:
A Vector Simplex Model of Concepts. 707-724 - Vincent Wang:
Concept Functionals. 725-744 - Bob Coecke, Konstantinos Meichanetzidis:
Meaning Updating of Density Matrices. 745-770 - Martha Lewis:
Towards Logical Negation for Compositional Distributional Semantics. 771-794 - Adriana D. Correia, Michael Moortgat, Henk T. C. Stoof:
Density Matrices with Metric for Derivational Ambiguity. 795-824 - Michael Moortgat, Mehrnoosh Sadrzadeh, Gijs Wijnholds:
A Frobenius Algebraic Analysis for Parasitic Gaps. 823-852 - Giuseppe Greco, Fei Liang, Michael Moortgat, Alessandra Palmigiano, Apostolos Tzimoulis:
Vector Spaces as Kripke Frames. 853-873
Volume 7, Number 6, December 2020
- Guillaume Aucher:
Towards Universal Logic: Gaggle Logics. 875-942 - John T. Baldwin:
The Reasonable Effectiveness of Model Theory in Mathematics. 943-972 - Melvin Fitting:
Bilattice Basics. 973-1016 - Robert Goldblatt:
Morphisims and Duality for Polarities and Lattices with Operators. 1017-1070 - Lloyd Humberstone:
Twins in Logic - Identical and Otherwise. 1071-1114 - Giorgi Japaridze:
Fundamentals of Computability Logic. 1115-1176 - Jessica Leech:
Relative Necessity Extended. 1177-1198 - Øystein Linnebo, Stewart Shaprio:
Potentiality and Indeterminacy in Mathematics. 1199-1220 - Yaroslav Shramko:
First-degree Entailment and Binary Consequence Systems. 1221-1240 - Dimiter Vakarelov:
Point-free Theories of Space and Time. 1421-1320 - John Woods:
Logic's Naturalistic Character. 1321-1378
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-11 23:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
