首页>外文期刊>其他>Logica Universalis

Logica Universalis

中文名称：通用逻辑

ISSN：1661-8297
出版周期：Semiannual

发文量：119

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice

机译：等效于选择公理的一些受限Lindenbaum定理
- 作者：David W. Miller
- 期刊名称：《Logica Universalis》 | 2007年第1期
2.A New Modal Lindstr?m Theorem

机译：一个新的模态Lindstr？m定理
- 作者：Johan van Benthem
- 期刊名称：《Logica Universalis》 | 2007年第1期
- Modal logic;
- abstract model theory;
- Lindstr?m theorem;
- invariance theorem;
- interpolation;
- extended modal languages;
- guarded fragment;
3.Modelling Inference in Argumentation through Labelled Deduction: Formalization and Logical Properties

机译：通过标签演绎对论证建模进行建模：形式化和逻辑属性
- 作者：Carlos Iván Ches?evar;Guillermo Ricardo Simari
- 期刊名称：《Logica Universalis》 | 2007年第1期
- Defeasible Argumentation;
- Knowledge Representation;
- Non-monotonic Inference;
- Labelled Deduction;
4.From Fibring to Cryptofibring. A Solution to the Collapsing Problem

机译：从纤维到加密纤维。崩溃问题的解决方案
- 作者：Carlos Caleiro;Jaime Ramos
- 期刊名称：《Logica Universalis》 | 2007年第1期
- Combining logics;
- fibring;
- the collapsing problem;
- cryptofibring;
- conservativeness;
5.A Universal Logic Approach to Adaptive Logics

机译：通用逻辑的自适应逻辑方法
- 作者：Diderik Batens
- 期刊名称：《Logica Universalis》 | 2007年第1期
- 03B99;
- 03B60;
- 03B53;
- 03A05;
- Adaptive logics;
- dynamic proofs;
- generic metatheory;
6.A Galois Connection

机译：伽罗瓦连接
- 作者：Stan J. Surma
- 期刊名称：《Logica Universalis》 | 2007年第1期
- Galois connection;
- closure operator;
- consistency property;
7.Structuralist Logic: Implications, Inferences, and Consequences

机译：结构主义逻辑：蕴涵，推论和后果
- 作者：Arnold Koslow
- 期刊名称：《Logica Universalis》 | 2007年第1期
- Implication structure;
- consequence operator;
- epistemic implication;
- intuitionism;
- mereology;
8.Information Algebras and Consequence Operators

机译：信息代数和结果运算符
- 作者：Jürg Kohlas;Robert F. St?rk
- 期刊名称：《Logica Universalis》 | 2007年第1期
9.Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics

机译：具有广义有限值语义的逻辑的无割普通后续计算
- 作者：Arnon Avron;Jonathan Ben-Naim;Beata Konikowska
- 期刊名称：《Logica Universalis》 | 2007年第1期
- Finite-valued logic;
- n-sequent systems;
- ordinary system calculi;
- soundness;
- completeness;
- non-deterministic matrices;
- cut elimination;
10.A Global Glance on Categories in Logic

机译：逻辑范畴全球概览
- 作者：Peter Arndt;Rodrigo de Alvarenga Freire;Odilon Otavio Luciano;Hugo Luiz Mariano
- 期刊名称：《Logica Universalis》 | 2007年第1期
- Logics;
- signatures;
- categories;
- accessible categories;
- locally presentable categories;
11.General Logic-Systems and Finite Consequence Operators

机译：通用逻辑系统和有限后果算子
- 作者：Robert A. Herrmann
- 期刊名称：《Logica Universalis》 | 2007年第1期
- Logic-system;
- rules of inference;
- consequence operator;
12.Preface

机译：前言
- 作者：Jean-Yves Béziau
- 期刊名称：《Logica Universalis》 | 2007年第1期
13.Abstract Logics, Logic Maps, and Logic Homomorphisms

机译：抽象逻辑，逻辑映射和逻辑同态
- 作者：Steffen Lewitzka
- 期刊名称：《Logica Universalis》 | 2007年第2期
- Primary 03B22;
- Secondary 54A99;
- 03G30;
- Abstract logics;
- logic maps;
- logic translations;
- logic homomorphism;
- universal logic;
- topology;
- institutions;
14.Structuring the Universe of Universal Logic

机译：构建通用逻辑的宇宙
- 作者：Vladimir L. Vasyukov
- 期刊名称：《Logica Universalis》 | 2007年第2期
- Primary 03B22;
- Secondary 03G30;
- 18C10;
- Logical system;
- products;
- coproducts;
- coexponentials;
- complement topos;
15.Some Multi-Conclusion Modal Paralogics

机译：一些多结论模态逻辑
- 作者：Casey McGinnis
- 期刊名称：《Logica Universalis》 | 2007年第2期
- 03B45;
- 03B53;
- 03B60;
- Modal logics;
- paraconsistent logics;
- paracomplete logics;
- multiple-conclusion logics;
- tableaus;
16.Generalized Definitional Reflection and the Inversion Principle

机译：广义定义反射与反演原理
- 作者：Peter Schroeder-Heister
- 期刊名称：《Logica Universalis》 | 2007年第2期
17.On Preserving

机译：关于保存
- 作者：Gillman Payette;Peter K. Schotch
- 期刊名称：《Logica Universalis》 | 2007年第2期
- Primary 03B53;
- Secondary 03B22;
- Preservationism;
- paraconsistency;
18.Functorial Duality for Ortholattices and De Morgan Lattices

机译：正格子和De Morgan格的对偶对偶
- 作者：Katalin Bimbó
- 期刊名称：《Logica Universalis》 | 2007年第2期
- Primary: 03B47;
- Secondary: 54H10;
- 06D30;
- 06C15;
- De Morgan lattices;
- ortholattices;
- topological duality theory;
- category theory;
19.Recovering a Logic from Its Fragments by Meta-Fibring

机译：通过元光纤从片段中恢复逻辑
- 作者：Marcelo Esteban Coniglio
- 期刊名称：《Logica Universalis》 | 2007年第2期
- Primary 99Z99;
- Secondary 00A00;
- Fibring;
- combinations of logics;
- sequent calculi;
20.Structures of Opposition and Comparisons: Boolean and Gradual Cases

机译：Structures of Opposition and Comparisons: Boolean and Gradual Cases
- 期刊名称：《Logica universalis》 | 2020年第1期
- Square of opposition;
- hexagon of opposition;
- cube of opposition;
- partition;
- difference;
- similarity;
- analogy;
- ordered weighted min;
- comparison;
- preferences;
- Primary 68T30;
- Secondary 03A05;
- 03B05;
- 68T37;
21.Platonic Contrariety (enantia): Ancestor of the Aristotelian Notion of Contradiction (antiphasis)?

机译：Platonic Contrariety (enantia): Ancestor of the Aristotelian Notion of Contradiction (antiphasis)?
- 作者：Geneviève Lachance
- 期刊名称：《Logica universalis》 | 2016年第3期
- Plato;
- History of logic;
- contrary;
- contradiction;
- principle of non-contradiction;
- antilogic;
22.The Classical Constraint on Relevance

机译：The Classical Constraint on Relevance
- 作者：Arnon Avron
- 期刊名称：《Logica universalis》 | 2014年第1期
- Relevance logics;
- classical logic;
- tautologies;
- translations;
23.Bases for Structures and Theories I

机译：Bases for Structures and Theories I
- 作者：Ketland Jeffrey
- 期刊名称：《Logica universalis》 | 2020年第3期
- Definitional equivalence;
- Theories;
- Definability;
24.On the Universality of Atomic and Molecular Logics via Protologics

机译：On the Universality of Atomic and Molecular Logics via Protologics
- 作者：Aucher Guillaume
- 期刊名称：《Logica universalis》 | 2022年第2期
- Universal logic;
- Expressivity;
- First-order logics;
- Non-classical logics;
25.Graded Structures of Opposition in Fuzzy Natural Logic

机译：模糊自然逻辑中对立的分级结构
- 作者：Murinova Petra
- 期刊名称：《Logica universalis》 | 2020年第4期
26.Logical Rules as Fractions and Logics as Sketches

机译：Logical Rules as Fractions and Logics as Sketches
- 作者：Duval Dominique
- 期刊名称：《Logica universalis》 | 2020年第3期
- Logical rules;
- Categorical fractions;
- Sketches;
27.Farewell to Suppression-Freedom

机译：Farewell to Suppression-Freedom
- 作者：Ogaard Tore Fjetland
- 期刊名称：《Logica universalis》 | 2020年第3期
- Entailment;
- Enthymeme;
- Relevant logics;
- Suppression;
28.Kant’s Antinomies of Pure Reason and the ‘Hexagon of Predicate Negation’

机译：康德的纯粹理性对立面和“谓词否定六边形”
- 期刊名称：《Logica universalis》 | 2020年第1期
- Kant;
- Antinomies of pure reason;
- Predicate negation;
- Paracomplete negation;
- Logical hexagon;
- 03B10;
- 03B65;
29.Tableaux for Logics of Content Relationship and Set-Assignment Semantics

机译：内容关系逻辑和集分配语义的 Tableau
- 作者：Jarmuzek Tomasz;Klonowski Mateusz
- 期刊名称：《Logica universalis》 | 2022年第2期
30.Modal Definability: Two Commuting Equivalence Relations

机译：Modal Definability: Two Commuting Equivalence Relations
- 作者：Rumenova Yana;Tinchev Tinko
- 期刊名称：《Logica universalis》 | 2022年第2期
31.Numerical Existence Property and Categories with an Internal Copy

机译：Numerical Existence Property and Categories with an Internal Copy
- 作者：Maschio Samuele
- 期刊名称：《Logica universalis》 | 2020年第3期
- Internal categories;
- Existence property;
- Definable classes;
- Godelian encoding;
32.The Normal and Self-extensional Extension of Dunn-Belnap Logic

机译：The Normal and Self-extensional Extension of Dunn-Belnap Logic
- 作者：Avron Arnon
- 期刊名称：《Logica universalis》 | 2020年第3期
- Four-valued logics;
- Paraconsistent logics;
- Self-extensionality;
33.A Formalism to Specify Unambiguous Instructions Inspired by Mimamsa in Computational Settings

机译：A Formalism to Specify Unambiguous Instructions Inspired by Mimamsa in Computational Settings
- 作者：Srinivasan Barra;Parthasarathi Ranjani
- 期刊名称：《Logica universalis》 | 2022年第2期
- Mimamsa;
- Imperative logic;
- Action representation;
- Instructions;
- LOGIC;
34.Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations

机译：有限多值非确定性后果关系的树状证明系统
- 作者：Pawlowski Pawel
- 期刊名称：《Logica universalis》 | 2020年第4期
- Non-deterministic logics;
- Proof systems;
- Many valued logics;
35.Singular Propositions, Negation and the Square of Opposition

机译：Singular Propositions, Negation and the Square of Opposition
- 作者：Lopamudra Choudhury;Mihir Kumar Chakraborty
- 期刊名称：《Logica universalis》 | 2016年第3期
- Square of oppositions;
- singular propositions;
- open universe;
- Abh?va (absence);
36.A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences

机译：A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences
- 作者：del Rosario Martinez-Ordaz Maria
- 期刊名称：《Logica universalis》 | 2022年第2期
- Inconsistency toleration;
- Paraconsistent logics;
- Paraconsistent reasoning strategies;
- Contradiction;
- Human reasoning;
- Ignorance;
- ADAPTIVE LOGICS;
- INFERENCE;
- PERMEATE;
- STRATEGY;
- CHUNK;
37.Existential Import, Aristotelian Logic, and its Generalizations

机译：Existential Import, Aristotelian Logic, and its Generalizations
- 期刊名称：《Logica universalis》 | 2020年第1期
- Existential import;
- Square of opposition;
- Syllogistic;
- Generalized quantifiers;
- Intermediate quantifiers;
- Primary 03-03;
- Secondary 01A20;
- 03A05;
- 03C80;
- 03B10;
38.Violence Hexagon Moral Philosophy Through Drawing

机译：Violence Hexagon Moral Philosophy Through Drawing
- 作者：Lorenzo Magnani
- 期刊名称：《Logica universalis》 | 2016年第3期
- Hexagon of opposition;
- morality;
- violence;
- epistemic bubbles;
- moral bubbles;
- overmorality;
- manipulative abduction;
39.The Vatican Square

机译：The Vatican Square
- 作者：Jean-Yves Beziau;Raffaela Giovagnoli
- 期刊名称：《Logica universalis》 | 2016年第3期
- Square of Opposition;
- Hexagon of Opposition;
- Aristotle;
- Plato;
- Leibniz;
- Lukasiewicz;
- Logic Diagrams;
- Modal logic;
- Fuzzy logic;
- Negation;
- Quantifiers;
- Intuitionistic logic;
- Deontic logic;
- Metalogic;
- Fallacies;
- Violence;
- Pedagogy;
40.The Klein Group, Squares of Opposition and the Explanation of Fallacies in Reasoning

机译：The Klein Group, Squares of Opposition and the Explanation of Fallacies in Reasoning
- 作者：Serge Robert;Janie Brisson
- 期刊名称：《Logica universalis》 | 2016年第3期
41.A Universal Algebraic Set Theory Built on Mereology with Applications

机译：A Universal Algebraic Set Theory Built on Mereology with Applications
- 作者：Drugus Ioachim
- 期刊名称：《Logica universalis》 | 2022年第2期
- Algebraic set theory;
- Generalized Boolean algebra;
- Boolean algebra with operators;
42.Logical Squares for Classical Logic Sentences

机译：Logical Squares for Classical Logic Sentences
- 作者：Urszula Wybraniec-Skardowska
- 期刊名称：《Logica universalis》 | 2016年第3期
43.Cubes and Hypercubes of Opposition, with Ethical Ruminations on Inviolability

机译：Cubes and Hypercubes of Opposition, with Ethical Ruminations on Inviolability
- 作者：Frode Bj?rdal
- 期刊名称：《Logica universalis》 | 2016年第3期
- Square of opposition;
- cube of opposition;
- deontic logic;
44.On the Historical Transformations of the Square of Opposition as Semiotic Object

机译：On the Historical Transformations of the Square of Opposition as Semiotic Object
- 期刊名称：《Logica universalis》 | 2020年第1期
- Square of opposition;
- Traditional logic;
- Classifications of judgements;
- Quantification;
- Non-Aristotelian logic;
- Foundations of logic;
- Aristotle;
- Apuleius of Madaura;
- Boethius;
- Nikolai A. Vasiliev;
- 01A20;
- 01A35;
- 01A55;
- 03-03;
- 03A05;
- 03B53;
45.The Cretan Square

机译：The Cretan Square
- 期刊名称：《Logica universalis》 | 2020年第1期
- Square of opposition;
- hexagon of opposition;
- cube of opposition;
- Kant’s antinomies;
- analogy;
- geometry of opposition;
- Primary 03A05;
- Secondary 03B10;
- 03B52;
- 03B65;
- 03B22;
46.Two Semantical Approachesto Paraconsistent Modalities

机译：Two Semantical Approachesto Paraconsistent Modalities
- 作者：Juliana Bueno-Soler
- 期刊名称：《Logica universalis》 | 2010年第1期
- Modal logics;
- paraconsistent logics;
- completeness;
- Kripke semantics;
- possible-translations semantics;
47.An Unexpected Boolean Connective

机译：An Unexpected Boolean Connective
- 作者：Marcelino Sergio
- 期刊名称：《Logica universalis》 | 2022年第2期
48.Islamic Contradictory Theology . . . Is there any such Thing?

机译：Islamic Contradictory Theology . . . Is there any such Thing?
- 作者：Ahsan Abbas
- 期刊名称：《Logica universalis》 | 2021年第3期
49.Expressivist Perspective on Logicality

机译：Expressivist Perspective on Logicality
- 作者：Pavel Arazim
- 期刊名称：《Logica universalis》 | 2017年第4期
- Logical constant;
- expressivism;
- topic-neutrality;
- proof-theory;
- conservativity;
50.Some General Results About Proof Normalization

机译：Some General Results About Proof Normalization
- 作者：Marc Aiguier;Delphine Longuet
- 期刊名称：《Logica universalis》 | 2010年第1期
- Formal systems;
- proof tree transformation;
- weak and strongnormalization;
- cut-elimination;
- rewriting;
51.The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022

机译：The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022
- 作者：Beziau Jean-Yves
- 期刊名称：《Logica universalis》 | 2022年第2期
- Logic;
- Universal Logic;
- World Logic Day;
- World Logic Prizes;
- Contest;
- World Scientific Prizes Contest;
52.Swyneshed, Aristotle and the Rule of Contradictory Pairs

机译：Swyneshed, Aristotle and the Rule of Contradictory Pairs
- 期刊名称：《Logica universalis》 | 2020年第1期
- Contradiction;
- Signification;
- Liar paradox;
- Insolubles;
- Truth;
- Aristotle;
- Roger Swyneshed;
- William Heytesbury;
- Robert Eland;
- Ralph Strode;
- Paul of Venice;
- 03A05;
- 03B65;
- 01A35;
53.Completeness: From Husserl to Carnap

机译：Completeness: From Husserl to Carnap
- 作者：Aranda Victor
- 期刊名称：《Logica universalis》 | 2022年第2期
- Husserl;
- Definiteness;
- Non-forkability;
- Decidability;
- Completeness;
- Categoricity;
- History of logic;
- CATEGORICITY;
- FOUNDATIONS;
- AXIOMATICS;
- GEOMETRY;
- HILBERT;
54.Hintikka Memorial Issue: Introduction and Remarks on Jaakko Hintikka’s Logical Philosophy

机译：Hintikka Memorial Issue: Introduction and Remarks on Jaakko Hintikka’s Logical Philosophy
- 作者：Ahti-Veikko Pietarinen
- 期刊名称：《Logica universalis》 | 2019年第2期
- Jaakko Hintikka;
- Biography;
- Logic;
- Philosophy of logic;
- History of logic;
55.The Concept of Relevance and the LogicDiagram Tradition

机译：The Concept of Relevance and the LogicDiagram Tradition
- 作者：Jan Dejnozka
- 期刊名称：《Logica universalis》 | 2010年第1期
56.Leibniz’s Logic and the “Cube of Opposition”

机译：Leibniz’s Logic and the “Cube of Opposition”
- 作者：Wolfgang Lenzen
- 期刊名称：《Logica universalis》 | 2016年第3期
- Square of opposition;
- theory of the syllogism;
- concept logic;
- Leibniz;
- quantification of the predicate;
- individual concepts;
57.Metalogical Decorations of Logical Diagrams

机译：Metalogical Decorations of Logical Diagrams
- 作者：Lorenz Demey;Hans Smessaert
- 期刊名称：《Logica universalis》 | 2016年第3期
- Aristotelian diagram;
- duality diagram;
- metalogic;
- opposition geometry;
- implication geometry;
- contrariety;
58.Hintikka on the “Kant–Frege View”: A Critical Assessment

机译：Hintikka on the “Kant–Frege View”: A Critical Assessment
- 作者：Giovanni Mion
- 期刊名称：《Logica universalis》 | 2019年第2期
- Hintikka;
- The Kant–Frege view;
- existential quantifier;
- existential generalization;
59.Translating Non-classical Logics into Classical Logic by Using Hidden Variables

机译：Translating Non-classical Logics into Classical Logic by Using Hidden Variables
- 作者：Juan C. Agudelo-Agudelo
- 期刊名称：《Logica universalis》 | 2017年第2期
- Translations between logics;
- dyadic semantics;
- many-valued logics;
- paraconsistent logics;
- classical propositional logic;
60.Super Models

机译：Super Models
- 作者：Jaakko Hintikka
- 期刊名称：《Logica universalis》 | 2019年第2期
- Supermodels;
- Constituents;
- Definability;
- Trees;
61.From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Godel Logic

机译：From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Godel Logic
- 作者：Fermueller Christian;Lang Timo;Pavlova Alexandra
- 期刊名称：《Logica universalis》 | 2022年第2期
- Godel logic;
- Fuzzy logic;
- Semantic games;
- Provability game;
- Analytic calculus;
62.Bases for Structures and Theories II

机译：Bases for Structures and Theories II
- 作者：Ketland Jeffrey
- 期刊名称：《Logica universalis》 | 2020年第4期
- Definitional equivalence;
- Theories;
- Definability;
63.Towards a More General Concept of Inference

机译：Towards a More General Concept of Inference
- 作者：Ivo Pezlar
- 期刊名称：《Logica universalis》 | 2014年第1期
- Proof theory;
- inference;
- two-dimensional inference;
- 2D inference;
- inference rule;
- natural deduction;
- sequent calculus;
- Tichy;
- Frege;
64.Classical Negation Strikes Back: Why Priest’s Attack on Classical Negation Can’t Succeed

机译：Classical Negation Strikes Back: Why Priest’s Attack on Classical Negation Can’t Succeed
- 作者：Jonas R. Becker Arenhart;Ederson Safra Melo
- 期刊名称：《Logica universalis》 | 2017年第4期
- Dialetheism;
- Liar paradox;
- Contradiction;
- Boolean negation;
- De Morgan negation;
65.Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll's Symbolic Logic

机译：Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll's Symbolic Logic
- 作者：Moktefi Amirouche
- 期刊名称：《Logica universalis》 | 2021年第3期
- Lewis Carroll;
- History of logic;
- Symbolic logic;
- Existential import;
66.Hypothetical Logic of Proofs

机译：Hypothetical Logic of Proofs
- 作者：Eduardo Bonelli Gabriela Steren
- 期刊名称：《Logica universalis》 | 2014年第1期
- Modal logic;
- logic of proofs;
- natural deduction;
- Curry-Howard isomorphism;
- lambda calculus;
- lambda Mu-calculus;
67.Perspectives on the Logical Study of Language

机译：Perspectives on the Logical Study of Language
- 作者：Jaakko Hintikka
- 期刊名称：《Logica universalis》 | 2019年第2期
- Hintikka;
- Carnap;
- Quine;
- Wittgenstein;
68.Is 'No' a Force-Indicator? Yes, Sooner or Later!

机译：Is 'No' a Force-Indicator? Yes, Sooner or Later!
- 作者：Fabien Schang;James Trafford
- 期刊名称：《Logica universalis》 | 2017年第2期
- Assertion;
- denial;
- rejectivism;
- embeddability;
- Question–Answer Semantics;
69.Admissibility in Positive Logics

机译：Admissibility in Positive Logics
- 作者：Alex Citkin
- 期刊名称：《Logica universalis》 | 2017年第4期
- Inference rule;
- multiple-conclusion rule;
- admissible rule;
- positive logic;
- intermediate logic;
- Brouwerian algebra;
70.To Peirce Hintikka’s Thoughts

机译：To Peirce Hintikka’s Thoughts
- 作者：Ahti-Veikko Pietarinen
- 期刊名称：《Logica universalis》 | 2019年第2期
- Peirce;
- Hintikka;
- Socratic inquiry;
- pragmaticism;
- action-first epistemology;
- game-theoretic semantics;
- epistemic logic;
- cross-identification;
71.Universal Properties of ?ukasiewicz Consequence

机译：Universal Properties of ?ukasiewicz Consequence
- 作者：Daniele Mundici
- 期刊名称：《Logica universalis》 | 2014年第1期
- ?ukasiewicz logic;
- Bolzano–Tarski consequence;
- implication;
- continuous connective;
- Smets–Magrez theorem;
- stable consequence;
72.Interconnection of the Lattices of Extensions of Four Logics

机译：Interconnection of the Lattices of Extensions of Four Logics
- 作者：Alexei Y. Muravitsky
- 期刊名称：《Logica universalis》 | 2017年第2期
73.Diagonalization in Double Frames

机译：Diagonalization in Double Frames
- 作者：Andrzej Wisniewski;Jerzy Pogonowski
- 期刊名称：《Logica universalis》 | 2010年第1期
- Diagonalization;
- double frames;
- incompletenessDiagonalization;
- incompleteness;
74.Beyond Rasiowan Systems: Unital Deductive Systems

机译：Beyond Rasiowan Systems: Unital Deductive Systems
- 作者：Alexei Y. Muravitsky
- 期刊名称：《Logica universalis》 | 2014年第1期
- Monotone structural deductive system;
- consequence;
- variety;
- free algebra;
75.Hintikka, Free Logician

机译：Hintikka, Free Logician
- 作者：Matthieu Fontaine
- 期刊名称：《Logica universalis》 | 2019年第2期
- Modality;
- World lines;
- Identity;
- Existential generalization;
- Singular terms;
76.A Cube of Opposition for Predicate Logic

机译：A Cube of Opposition for Predicate Logic
- 期刊名称：《Logica universalis》 | 2020年第1期
- Aristotelian square of opposition;
- Buridan’s octagon;
- Predicate logic;
- Klein’s 4-group;
- Primary 03B10;
- Secondary 01A20;
- 01A35;
77.Kneale's Natural Deductions as a Notational Variant of Beth's Tableaus

机译：Kneale's Natural Deductions as a Notational Variant of Beth's Tableaus
- 作者：Sikic Zvonimir
- 期刊名称：《Logica universalis》 | 2022年第2期
- Beth's tableaus;
- Gentzen's sequential system;
- Kneale's natural deductions;
78.Unification in Pretabular Extensions of S4

机译：Unification in Pretabular Extensions of S4
- 作者：Bashmakov Stepan I.
- 期刊名称：《Logica universalis》 | 2021年第3期
- Pretabular logic;
- Kripke semantics;
- Unification;
- Ground unifier;
- Projective formula;
- Unitary;
- Finitary;
79.The Semiotics of Spider Diagrams

机译：The Semiotics of Spider Diagrams
- 作者：Jim Burton;John Howse
- 期刊名称：《Logica universalis》 | 2017年第2期
- Spider diagrams;
- logical diagrams;
- semiotics;
80.A Probabilistic Logic Between LPP1 and LPP2

机译：A Probabilistic Logic Between LPP1 and LPP2
- 作者：Dautovic Sejla
- 期刊名称：《Logica universalis》 | 2022年第2期
- Probabilistic logic;
- Completeness theorem;
- Decidability;
81.Analytics vs. Elements

机译：Analytics vs. Elements
- 作者：Dimitracopoulos Costas
- 期刊名称：《Logica universalis》 | 2022年第2期
- Syllogistic;
- Elements;
- Immediate propositions;
82.Topological Representation of Intuitionistic and Distributive Abstract Logics

机译：Topological Representation of Intuitionistic and Distributive Abstract Logics
- 作者：Andreas Bernhard Michael Brunner;Steffen Lewitzka
- 期刊名称：《Logica universalis》 | 2017年第2期
- Abstract logics;
- topology;
- spectral spaces with implication;
- duality;
- intuitionistic logics;
83.A Square of Oppositions in Intuitionistic Logic with Strong Negation

机译：A Square of Oppositions in Intuitionistic Logic with Strong Negation
- 作者：Fran?ois Lepage
- 期刊名称：《Logica universalis》 | 2016年第3期
- Intuitionistic logic;
- strong negation;
- Kripke models;
- saturated sets;
84.Mathematical Perspectives on Liar Paradoxes

机译：Mathematical Perspectives on Liar Paradoxes
- 作者：Uso-Domenech Jose-Luis;Nescolarde-Selva Josue-Antonio;Segura-Abad LorenaAlonso-Stenberg KristianGash Hugh
- 期刊名称：《Logica universalis》 | 2021年第3期
- Liar paradox;
- Systems;
- Logic;
- Determined compatible propositions;
- Incompatible propositions;
- Metalanguage;
- Paradox;
85.An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras

机译：An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras
- 作者：L. J. González;M. B. Lattanzi;A. G. Petrovich
- 期刊名称：《Logica universalis》 | 2017年第4期
- Four-valued Łukasiewicz algebras;
- quantifiers;
- monadic logics;
86.Varieties of Rigidity

机译：Varieties of Rigidity
- 作者：Tuukka Tanninen
- 期刊名称：《Logica universalis》 | 2019年第2期
- Rigid designator;
- Kripke;
- Hintikka;
- Semantics;
- Quantification;
87.Locally Tabular = Locally Finite

机译：Locally Tabular = Locally Finite
- 作者：Sérgio Marcelino;Umberto Rivieccio
- 期刊名称：《Logica universalis》 | 2017年第3期
- Locally tabular;
- locally finite;
- selfextensional logics;
- matrix semantics;
88.Dualities for Płonka Sums

机译：Dualities for Płonka Sums
- 作者：Stefano Bonzio
- 期刊名称：《Logica universalis》 | 2018年第4期
- Płonka sums;
- Regular varieties;
- Topological dualities;
- Weak Kleene logics;
89.New Logics for Quantum Non-individuals?

机译：New Logics for Quantum Non-individuals?
- 作者：Jonas R. Becker Arenhart
- 期刊名称：《Logica universalis》 | 2018年第4期
- Non-individuals;
- logical revision;
- quantum mechanics;
- Identity;
90.Leibniz's Ontological Proof of the Existence of God and the Problem of ?Impossible Objects?

机译：Leibniz's Ontological Proof of the Existence of God and the Problem of ?Impossible Objects?
- 作者：Wolfgang Lenzen
- 期刊名称：《Logica universalis》 | 2017年第1期
- Existence of God;
- ontological proof;
- Leibniz;
- concept logic;
91.Counterpossibles and Normal Defaults in the Filioque Controversy

机译：Counterpossibles and Normal Defaults in the Filioque Controversy
- 作者：Jacob Archambault
- 期刊名称：《Logica universalis》 | 2019年第4期
- Filioque;
- Counterpossibles;
- Default logic;
- Medieval logic;
- St. Anselm of Canterbury;
92.Self-Extensional Three-Valued Paraconsistent Logics

机译：Self-Extensional Three-Valued Paraconsistent Logics
- 作者：Arnon Avron
- 期刊名称：《Logica universalis》 | 2017年第3期
- Relevance logics;
- classical logic;
- tautologies;
- translations;
93.Pavel Florensky’s Theory of Religious Antinomies

机译：Pavel Florensky’s Theory of Religious Antinomies
- 作者：Pawe? Rojek
- 期刊名称：《Logica universalis》 | 2019年第4期
- Florensky;
- Logic of religion;
- Antinomy;
- Contradiction;
- Paraconsistency;
- L-inconsistency;
- Non-monotonic logic;
- Rhetoric;
94.Compositional Meaning in Logic

机译：Compositional Meaning in Logic
- 作者：Carlos Caleiro;Luca Viganò
- 期刊名称：《Logica universalis》 | 2017年第3期
- Universal logic;
- compositionality;
- semantics;
- proof-theory;
- applications;
95.What is Identical?

机译：What is Identical?
- 作者：Vlasakova Marta
- 期刊名称：《Logica universalis》 | 2021年第2期
- Identity;
- Logical form of identity statements;
- Frege;
- Leibniz;
- Russell;
- Singular concepts;
96.Sequent Systems for Negative Modalities

机译：Sequent Systems for Negative Modalities
- 作者：Ori Lahav;Jo?o Marcos;Yoni Zohar
- 期刊名称：《Logica universalis》 | 2017年第3期
- Negative modalities;
- sequent systems;
- cut-admissibility;
- Analyticity;
97.A Logical Analysis of the Anselm's Unum Argumentum (from Proslogion)

机译：A Logical Analysis of the Anselm's Unum Argumentum (from Proslogion)
- 作者：Jean-Pierre Desclés
- 期刊名称：《Logica universalis》 | 2017年第1期
98.The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable

机译：The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable
- 作者：Woods John
- 期刊名称：《Logica universalis》 | 2021年第4期
- Causal-response epistemology;
- Cognitive economics;
- Commonness;
- Criminal jurisprudence;
- Implicity;
- Information;
- Phase transitions;
- Storage;
- Tacity;
99.Implicational Partial Galois Logics: Relational Semantics

机译：Implicational Partial Galois Logics: Relational Semantics
- 作者：Yang Eunsuk;Dunn J. Michael
- 期刊名称：《Logica universalis》 | 2021年第4期
- (Implicational) partial Galois logic;
- Relational semantics;
- Residuation;
- Galois connection;
- Gaggles;
100.Theological Discourse and Logic

机译：Theological Discourse and Logic
- 作者：Stanis?aw Krajewski;Marcin Trepczyński
- 期刊名称：《Logica universalis》 | 2019年第4期
- Logic and religion;
- Connective “and”;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号