![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
IfCoLog Journal of Logics and their Applications, Volume 9
Volume 9, Number 1, January 2022
- Itala M. Loffredo D'Ottaviano, Ricardo Sousa Silvestre, Leandro Suguitani, Petrucio Viana:
The Proceedings of the XIX EBL ? 19th Brazilian Logic Conference, 2019. A preface. 1-4 - José Goudet Alvin, Arthur Francisco Schwerz Cahali, Hugo Luiz Mariano:
Induced morphisms between Heyting-valued models. 5-40 - Luís Soares Barbosa:
Coalgebra for the working software engineer. 41-92 - Jean Cerqueira Berni, Rodrigo Figueiredo, Hugo Luiz Mariano:
On the order theory of C∞-reduced C∞-rings and applications. 93-134 - Vaston Conçalves da Costa, Edward Hermann Haeusler:
Strong normalization for Np-systems via Mimp-graphs. 135-160 - Samuel G. Da Silva:
The generalized continuum hypothesis and two parametrized families of hit-and-miss games. 161-174 - Marcelo Esteban Coniglio, Aldo Figallo Orellano, Alejandro Hernández-Tello, Miguel Pérez-Gaspar:
G'3 as the logic of modal 3-valued Heyting algebras. 175-198 - Erick Simas Grilo, Daniel Toledo, Bruno Lopes:
A logical framework to reason about Reo circuits. 199-254 - Eberhard Guhe:
Defeasible reasoning in Navya-Nyaya. 255-286 - Edward Hermann Haeusler:
Exponentially huge natural deduction proofs are redundant: Preliminary results on M⊃. 287-326 - Gregory A. Kyriazis:
Extensive measurement with unrestricted concatenation and no maximal elements. 327-346 - Dimi Rocha Rangel, Hugo Luiz Mariano:
An algebraic (set) theory of surreal numbers, I. 347-404 - Hugo Rafael de Oliveira Ribeiro, Hugo Luiz Mariano:
Horn-geometric axioms for faithfully quadratic rings. 405-418 - Kaique Matias de Andrade Roberto, Hugo Luiz Mariano:
On superrings of polynomials and algebraically closed multifields. 419-444 - Gabriel Bittencourt Rios, Daniel de Almeida Souza, Darllan Coneição Pinto, Hugo Luiz Mariano:
Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications. 445-494 - Cezar A. Mortari:
Some classical modal logics with a necessity/impossibility operator. 495-522 - Pedro Noguez:
Logicism in the eyes of the author of Tractatus Logico-Philosophicus (and of Philosophical Remarks). 523-540 - Wagner Sanz:
Proof-search, analytic tableaux, models and counter-models, in Hypo constructive semantics for Minimal and Intuitionistic Propositional Logic. 541-572 - Garibaldi Sarmento:
A note on Tarski's remarks about the non-admissibility of a general theory of semantics. 573-582
Volume 9, Number 2, April 2022
- Robert Demolombe:
Causality and Responsibility in the Context of Multiple Agents. 583-606 - Fei Xie, Hongxing Liu:
States and Internal States on Ehoops. 607-635 - Phillip L. Wilson:
Quantum Immortality and Non-classical Logic. 635-650
Volume 9, Number 3, June 2022
- Martin Lukac, Shinbo Nagayama:
Editorial Note for the Special Issue on Multiple-Valued Logic. 651-652 - Duckgyu Shin, Naoya Onizawa, Takahiro Hanyu:
Implementation of CMOS Invertible Logic on Zynq-SoC Platform: A Case Study of Training BNN. 653-674 - Yosuke Iijima, Yasushi Yuminaka:
Efficient PAM-4 Symbol Estimation Using Soft Clustering. 675-690 - Shoji Morita, Teijiro Isokawa, Naotake Kamiura, Hitoshi Tabuchi:
Data-Classification-Based Determination for Ophthalmological Examination Categories using Machine Learning. 691-710 - Radomir S. Stankovic, Milena Stankovic, Claudio Moraga, Jaakko Astola:
Construction Algorithms for Bent Functions Derived from their Particular Properties. 711-732 - Maggie Bao, Cole Powers, Marek A. Perkowski:
Quantum Machine Learning, Logic Minimization, and Circuit Design by Optimizing Ternary-Input Binary-Output Kronecker Reed-Muller Forms. 733-780 - Hafiz Md. Hasan Babu, Khandaker Mohammad Mohi Uddin, Tamanna Tabassum, Mohammed Nasir Uddin:
DNA Technology for Multi-Valued Data Storage using Read Only Memory. 781-804 - Claudio Moraga, Radomir S. Stankovic, Milena Stankovic:
Ternary Functions with Bent Reed-Muller-Fourier Spectra. 805-824
Volume 9, Number 4, July 2022
- Elena Cabrio, Serena Villata:
A Data-informed Analysis of Argument Mining. 825-854 - Juliano Maranhão, Giovanni Casini, Gabriella Pigozzi, Leendert van der Torre:
Normative Change: An AGM Approach. 855-920 - Ryuta Arisaka, Jérémie Dauphin, Ken Satoh, Leendert van der Torre:
Multi-agent Argumentation and Dialogue. 921-954 - Dov M. Gabbay, John Woods:
The Law of Evidence and Labelled Deduction: Ten Years Later. 955-1024 - Huimin Dong, Beishui Liao, Réka Markovich, Leendert van der Torre:
Defeasible Deontic Logic: Arguing about Permission and Obligation. 1025-1086 - Leendert van der Torre, Xavier Parent:
Detachment in Normative Systems: Examples, Inference Patterns, Properties. 1087-1130 - Ilaria Angela Amantea, Livio Robaldo, Emilio Sulis, Guido Governatori, Guido Boella:
Business Process Modelling in Healthcare and Compliance Management: A Logical Framework. 1131-1154 - Grigoris Antoniou, Katie Atkinson, George Baryannis, Sotiris Batsakis, Luigo Di Caro, Guido Governatori, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis:
Explainable Reasoning with Legal Big Data: A Layered Framework. 1155-1170
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.