yusuke1997/dblp-id-title huggingface dataset:
A Matroid on Hypergraphs with Applications in Scene Analysis and Geometry
Persistence Modules on Commutative Ladders of Finite Type
Octahedralizing 3-Colorable 3-Polytopes
Non-Embeddability of Geometric Lattices and Buildings
Polyhedral Voronoi Diagrams of Polyhedra in Three Dimensions
Graphs with Flexible Labelings
Can We Compute the Similarity between Surfaces?
Correction to: On the Links of Vertices in Simplicial d-Complexes Embeddable in the Euclidean 2d-Space
Reconstruction of the Geometric Structure of a Set of Points in the Plane from Its Geometric Tree Graph
Geometric Graphs with No Three Disjoint Edges
On Sumsets and Convex Hull
Geodesic Ham-Sandwich Cuts
Finding Stabbing Lines in 3-Space
Approximation of Analytic Functions with Prescribed Boundary Conditions by Circle-Packing Maps
Deletion in Abstract Voronoi Diagrams in Expected Linear Time and Related Problems
Computing the Ehrhart Polynomial of a Convex Lattice Polytope
Carathéodory-type Theorems à la Bárány
Acute Sets
A Note on Euclidean Ramsey Theory
Mazur Sets in Normed Spaces
Tiling Lattices with Sublattices, I
Stabbing Simplices by Points and Flats
Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates
How to Cut Corners and Get Bounded Convex Curvature
Weights on Polytopes
Slider-Pinning Rigidity: a Maxwell-Laman-Type Theorem
Geometric Classification of Real Ternary Octahedral Quartics
Mixed Volume Computation for Semi-Mixed Systems
Parallelotopes of Maximum Volume in a Simplex
Acyclic Systems of Permutations and Fine Mixed Subdivisions of Simplices
Witnessed k-Distance
Topological Complexity of Motion Planning
Polytopal Bier Spheres and Kantorovich-Rubinstein Polytopes of Weighted Cycles
New Constructions of Weak epsilon-Nets
Enumerative Properties of Ferrers Graphs
Density Estimates of 1-Avoiding Sets via Higher Order Correlations
Lower Bound on Translative Covering Density of Tetrahedra
Shellings and the Lower Bound Theorem
Approximation for Minimum Triangulations of Simplicial Convex 3-Polytopes
On the Number of Balanced Lines
A Note on Aperiodic Ammann Tiles
Generalized Dalaunay Triangualtion for Planar Graphs
At Least n - 1 Intersection Points in a Connected Family of n Unit Circles in the Plane
Convexity, Elementary Methods, and Distances
z-Knotted Triangulations of Surfaces
Tilings of Convex Sets by Mutually Incongruent Equilateral Triangles Contain Arbitrarily Small Tiles
Small Grid Embeddings of 3-Polytopes
Stability of the Minkowski Measure of Asymmetry for Convex Bodies
A New Step in the Solution of the Szökefalvi-Nagy Problem
A Lower Bound on the Distortion of Embedding Planar Metrics into Euclidean Space
Convexity and the Beta Invariant
Combinatorial 3-Manifolds with Transitive Cyclic Symmetry
Small Triangle-Free Configurations of Points and Lines
Topology of Geometric Joins
About an Erdős-Grünbaum Conjecture Concerning Piercing of Non-bounded Convex Sets
A Note on Caterpillar-Embeddings with No Two Parallel Edges
Lines Avoiding Unit Balls in Three Dimensions
Staircase Connected Sets
Properties of R-Sausages
A Continuous Analogue of the Upper Bound Theorem
On the Size of Chromatic Delaunay Mosaics
Upper Bounds for Configurations and Polytopes in R d
A New Approach to Output-Sensitive Construction of Voronoi Diagrams and Delaunay Triangulations
Simple Euclidean Arrangements with No (>= 5)-Gons
Covering an Annulus by Strips
Every Collinear Set in a Planar Graph is Free
Planning a Purely Translational Motion for a Convex Object in Two-Dimensional Space Using Generalized Voronoi Diagrams
Multi-degree Bounds on the Betti Numbers of Real Varieties and Semi-algebraic Sets and Applications
Incidences of Möbius Transformations in ${\mathbb {F}}_p$
On Compact Packings of Euclidean Space with Spheres of Finitely Many Sizes
Complements of Unbounded Convex Polyhedra as Polynomial Images of \({{\mathbb {R}}}^n\)
Polynomial Partitioning on Varieties of Codimension Two and Point-Hypersurface Incidences in Four Dimensions
Computing Min-Convex Hulls in the Affine Building of $\hbox {SL}_d$
Degenerate Crossing Numbers
Computing Homotopy Classes for Diagrams
The "Point" Goalie Problem
Affine and Toric Hyperplane Arrangements
Scissors Congruence, the Golden Ratio and Volumes in Hyperbolic 5-Space
On Invariant Line Arrangements
Some Results About Equichordal Convex Bodies
On Directional Convexity
Perfect Graphs and Guarding Rectilinear Art Galleries
On the Multiplicity of Isolated Roots of Sparse Polynomial Systems
Field Choice Problem in Persistent Homology
The Type B Permutohedron and the Poset of Intervals as a Tchebyshev Transform
A Variant of the Hadwiger-Debrunner (p, q)-Problem in the Plane
Apollonian Circle Packings: Geometry and Group Theory III. Higher Dimensions
Convex Disks Can Cover Their Shadow
Conical Equipartitions of Mass Distributions
An Improved Bound for k -Sets in Three Dimensions
Discrete constant mean curvature nets in space forms: Steiner's formula and Christoffel duality
Two Combinatorial Problems in the Plane
An Optimization Problem Related to Minkowski's Successive Minima
Realizability of Graphs
Applications of Random Sampling to On-line Algorithms in Computational Geometry
A Tight Bound for the Delaunay Triangulation of Points on a Polyhedron
Apollonian Circle Packings: Geometry and Group Theory I. The Apollonian Group
Kadets-Type Theorems for Partitions of a Convex Body
On Geometric Graphs with No k Pairwise Parallel Edges
Triangulating Point Sets in Space
Isogonal Prismatoids
Generalized Borsuk Graphs
Discrete Mobile Centers
Long Monotone Paths in Line Arrangements
When is the Ball a Local Pessimum for Covering?
The Set of Packing and Covering Densities of Convex Disks
Many Triangulated Spheres
How Many Diagonal Rectangles Are Needed to Cover an Orthogonal Polygon?
On the Number of Guard Edges of a Polygon
Random Polytopes in the d-Dimensional Cube
Extremal Polynomials for Obtaining Bounds for Spherical Codes and Designs
The Maximum Diameter of Pure Simplicial Complexes and Pseudo-manifolds
The Worm Problem of Leo Moser
On the Stanley Ring of a Cubical Complex
Covering Squares with Squares
Equivalence of Continuous, Local and Infinitesimal Rigidity in Normed Spaces
Generalizations of the Yao-Yao Partition Theorem and Central Transversal Theorems
Three Theorems, with Computer-Aided Proofs, on Three-Dimensional Faces and Quotients of Polytopes
Admissible Reversing and Extended Symmetries for Bijective Substitutions
The Packing Density of the n-Dimensional Cross-Polytope
Nearest-Neighbor Searching Under Uncertainty I
Trapezoidal Diagrams, Upward Triangulations, and Prime Catalan Numbers
Rigidity and Volume Preserving Deformation on Degenerate Simplices
Approximation of Convex Discs by Polygons
Efficient Piecewise-Linear Function Approximation Using the Uniform Metric
Counting Facets and Incidences
Densest Packings of More than Three d -Spheres Are Nonplanar
Finding Convex Sets Among Points in the Plane
Pairs of Convex Bodies with Centrally Symmetric Intersections of Translates
A Near-Linear Algorithm for the Planar Segment-Center Problem
Dynamic Skin Triangulation
The Asymptotic Value of the Circle-Packing Rigidity Constants S n
The Overlay of Minimization Diagrams in a Randomized Incremental Construction
Constructing Planar Support for Non-Piercing Regions
Property Testing and Expansion in Cubical Complexes
Unions of Fat Convex Polytopes Have Short Skeletons
Recurrence Relationships for the Mean Number of Faces and Vertices for Random Convex Hulls
Generating All Vertices of a Polyhedron Is Hard
Conflict-Free Coloring of String Graphs
Ammann Bars and Quasicrystals
The Dirac-Goodman-Pollack Conjecture
Hamiltonian Simple Polytopes
Tropical Effective Primary and Dual Nullstellensätze
Approximating the Volume of Convex Bodies
Intersection Properties of Families of Convex (n, d)-Bodies
On Densities of Lattice Arrangements Intersecting Every i-Dimensional Affine Subspace
Linear Pencils of Tropical Plane Curves
Blocking Visibility for Points in General Position
Dynamic Coresets
Unit Distance Graphs and Algebraic Integers
An O(n log n) Algorithm for the All-nearest.Neighbors Problem
A New Technique for Analyzing Substructures in Arrangements of Piecewise Linear Surfaces
Elementary Fractal Geometry. 3. Complex Pisot Factors Imply Finite Type
A Tight Analysis of Geometric Local Search
On the Theory of Coconvex Bodies
Schubert Curves in the Orthogonal Grassmannian
Dynamic Planar Voronoi Diagrams for General Distance Functions and Their Algorithmic Applications
Characterizing Graphs with Convex and Connected Cayley Configuration Spaces
Delaunay Refinement for Piecewise Smooth Complexes
A Geometric Study of Circle Packings and Ideal Class Groups
A t k Inequality for Arrangements of Pseudolines
Algebraic Boundaries of SO(2)-Orbitopes
Approximation of Zonoids by Zonotopes in Fixed Directions
Toric Codes from Order Polytopes
Gorenstein Braid Cones and Crepant Resolutions
Estimating the Reach of a Manifold via its Convexity Defect Function
Random Meander Model for Links
On Lattice Points in Polyhedral Cross-Sections
Decomposition of Multiple Coverings into More Parts
Lattice Coverings and Gaussian Measures of n-Dimensional Convex Bodies
Visibility and Intersection Problems in Plane Geometry
Quantitative Steinitz's Theorems Applications to Multifingered Grasping
Relaxation, New Combinatorial and Polynomial Algorithms for the Linear Feasibility Problem
Local Spectral Expansion Approach to High Dimensional Expanders Part I: Descent of Spectral Gaps
Unfolding of Surfaces
Some Characterizations of Ellipsoids by Sections
Edge Close Ball Packings
Random Zonotopes and Valuations
On Levels in Arrangements of Surfaces in Three Dimensions
A Sylvester-Gallai Result for Concurrent Lines in the Complex Plane
Forced Convex n -Gons in the Plane
Stability and Computation of Topological Invariants of Solids in \Bbb R n
Uniform Convergence of Discrete Curvatures from Nets of Curvature Lines
Optimal Partition Trees
Short Simplex Paths in Lattice Polytopes
Integral Homology of Random Simplicial Complexes
Lower Bounds for the Measurable Chromatic Number of the Hyperbolic Plane
Substitutive Structure of Jeandel-Rao Aperiodic Tilings
Elimination for Generic Sparse Polynomial Systems
epsilon-Unit Distance Graphs
Norm Bounds for Ehrhart Polynomial Roots
A Positive Fraction Erdos - Szekeres Theorem
Constrained Minkowski Sums: A Geometric Framework for Solving Interval Problems in Computational Biology Efficiently
On the Bi-Lipschitz Geometry of Lamplighter Graphs
Frobenius Problem and the Covering Radius of a Lattice
New Constructions Related to the Polynomial Sphere Recognition Problem
Approximation of Quasisymmetries Using Circle Packings
Reconstruction of Convex Bodies from Moments
Testing Homotopy for Paths in the Plane
Different Bounds on the Different Betti Numbers of Semi-Algebraic Sets
Sufficient Conditions for the Global Rigidity of Periodic Graphs
On the Degenerate Crossing Number
Finding the Sink Takes Some Time: An Almost Quadratic Lower Bound for Finding the Sink of Unique Sink Oriented Cubes
No Dimension-Independent Core-Sets for Containment Under Homothetics
An Optimal-Time Algorithm for Shortest Paths on Realistic Polyhedra
Recovering a Metric from Its Full Ordinal Information
On the Expected Number of k-Sets
Edge Flips in Surface Meshes
A New Topological Helly Theorem and Some Transversal Results
On Linear Programming Bounds for Spherical Codes and Designs
The Number of Congruent Simplices in a Point Set
Blockers for Simple Hamiltonian Paths in Convex Geometric Graphs of Odd Order
Common Transversals and Tangents to Two Lines and Two Quadrics in P
New Results for the Growth of Sets of Real Numbers
What are All the Best Sphere Packings n Low Dimensions?
Das Wollperzeptron - Eine Unplugged Aktivität zum Maschinellen Lernen
Neue Zeiten, neue Standards: Neue Empfehlung der Gesellschaft für Informatik für den Informatikunterricht in Sekundarstufe I
Persönlichkeiten der Informatik
Robot Karol: Eine Grabrede
Interdisziplinärer Informatikunterricht: Ergebnisse verschiedener empirischer Untersuchungen aus Baden-Württemberg
Mit LoRa-Technologie und Scratch eigene Netzwerke programmieren
Reinforcement Learning Schritt für Schritt in Schulprojekten
Graphen im Unterricht - Mit Hilfe von Python und Jupyter-Notebooks
Kreative Python-Programmierung mit Strype
GuiPy - eine Python-IDE für die Schule
Informatische Bildung in Schulen. Jahrgang 3 / Ausgabe 1. Gesamtausgabe
Perzeptron Unplugged: Enaktive Ansätze zur Vermittlung künstlicher neuronaler Netze im Unterricht
Informatische Bildung in Schulen. Jahrgang 2 / Ausgabe 1. Gesamtausgabe
Coraline als begehbarer Roman: Ein Englisch- Informatik-Projekt aus dem Distanzunterricht
SoekiaGPT - ein didaktisches Sprachmodell
Unterstützende Werkzeuge zum Einstieg in die Algorithmik (Ozobots, Calliope Mini, Arduino)
Zum Stellenwert von Verfahren des maschinellen Lernens im allgemeinbildenden Informatikunterricht
SQL-Krimi: Blockbasierte Einführung in die Struktur und Anwendung von SQL-Abfragen
Informatik in freier Wildbahn: Lerntransfer vom Unterricht in den Alltag
Informatik vor, im und nach dem Schweizer Gymnasium
Fachfremd unterrichten, selbstreguliert lernen - eine Lösung für den Informatikunterricht
Filterblasen verstehen
Künstliche Intelligenz im Klassenzimmer: Didaktische Prinzipien und Praxiserfahrungen mit dem offenen KI-Kurs des Bundeswettbewerbs KI
Licht an! Wie Grundschüler eine Lernumgebung smart gestalten: Entwicklung eines lernförderlichen Assistenzsystems mit dem Calliope mini
Unravel - Bilderkennung mit neuronalen Netzen
Snap!GPT - Bausteine für generative künstliche Intelligenz
Bildmanipulation als Lernszenario im Bereich Algorithmik
Auf dem Weg zum inklusiven Informatikunterricht - Herausforderungen und Perspektiven
Informatische Bildung in Schulen. Jahrgang 3 / Ausgabe 2. Gesamtausgabe
ExplainFaceFake: spielerisches und interaktives Lernen über Medienmanipulationen
Das Informatikcurriculum der Hector Kinderakademien
Die senseBox Instruction Placemat zur Förderung einer lernendenzentrierten Vermittlung von Physi-cal Computing
Aktivierender Unterricht von Anfang an mit dem PRIMM-Konzept
Das Prinzip des verstärkenden Lernens im Rollenspiel erkunden
Programmieren lernen mit dem genetischen Ansatz
Künstliche Intelligenz im Informatikunterricht
Ethische, rechtliche und soziale Implikationen von Künstlicher Intelligenz als Thema des Informatikunterrichts
Unterrichtsreihe zu künstlicher Intelligenz und künstlichen neuronalen Netzen für die gymnasiale Oberstufe
So ein Saftladen: IT-Sicherheit in handlungsorientierten Fallbeispielen
ClusterLabor: Ein Werkzeug zur interaktiven Visualisierung und Analyse von Clusteralgorithmen
Python-Programmierung und Algorithmen mit Jupyter Notebooks: Ein Praxisbeispiel aus dem Informatikunterricht
KI in der Kiste: Unterrichtsaktivitäten aus einem Lernlabor zum Thema Künstliche Intelligenz
Den k-Means-Algorithmus verstehen: Mit Stift & Papier und BlueJ
Symmetrische Kryptologie und ihre Veranschaulichung
Notes on the decidability of addition and the Frobenius map for polynomials and rational functions
Asymptotic Density as a Method of Expressing Quantitative Relations in Intuitionistic Logic
On the variety generated by involutive pocrims
Embeddability Between Orderings and GCH
Minimal non-relevant logics without the K axiom
Hypergraph Satisfiability
Powers and limitations of Urquhart-style semantics I: basic substructural logics
Jankov-style formulas and refutation systems
A semantic analysis of some distributive logics with negation
Divisibility in βN and *N
Cut Elimination in Noncommutative Substructural Logics
Equivalential Logics (After 25 Years of Investigations)
On the relation of negations in Nelson algebras
Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning
On semilattice-based logics with an algebraizable assertional companion
Corrigendum to "Sets with no subsets of higher weak truth-table degree", Reports on Mathematical Logic, 53 (2018)
Boolean Algebras with a Distinguished Automorphism
On PCF spaces which are not Frechet-Urysohn
Probability Logic and Measures on Epimorphic Images of Coproducts of Measurable Spaces
Endomorphisms and subalgebras of Tarski algebras
Truth in the limit
Sequent Calculi and Quasivarieties
Some Aspects of Refutation Rules
Derivability
Linear Equivalential Algebras
Minimal subvarieties of involutive residuated lattices
Non-generators in extensions of infinitary algebras
Subminimal logic and weak algebras
Decidable Varieties of Hoops
Towards Combination Metaphisics
Some cardinal characteristics related to the covering number and the uniformity of the meagre ideal
The Semantic Completeness of RK
Minimal non-relevant logics without the K axiom II. Negation introduced via the unary connective
Intensional solutions to the identity problem for partial sets
The First-order Coding of Models in Models with a Single Binary Relation
A Continuum of Incomplete Intermediate Logics
On Rudimentarity, Primitive Recursivity and Representability
On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic
Remarks on the Arrangement of the Irreducible Elements of Finitely Generated Distributive Lattices in a Boolean Cube
Non canonicity of BL-algebras
S is Constructively Complete
Axiomatization of the Logic Determined by the System of Natural Numbers with Identity
The largest higher commutator sequence
A Note on Formalisations of First-order Theories
ERRATA to RML 28
Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems
Boolean Constructions of Independent Sets of Generators for Filters
A New ω-Stable Plane
Cardinalities of Models and the Expressive Power of Monadic Predicate Logic (with Equality and Individual Constants)
The equational definability of truth predicates
On definable completeness for ordered fields
Transparent Unification Problem
A finite fragment of S3
Cardinality Quantifiers and Choice Principles
Self-dual Boolean Functions
Subalgebras of a Finite Monadic Boolean Algebra
On a Problem of H. Friedman and its Solution by T. Prucnal
Elementary Theory of Finite Equivalential Algebras
Restricted Versions of the Compactness Theorem
Tableau-based bisimulation invariance testing
On Prucnal's Model-determinated Logic and Definable Predicates
Free three-valued Closure Lukasiewicz Algebras
Tableaux approach for contact logics interpreted over intervals
On some properties of quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras
Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics
A Syntactic Proof of a Conjecture of Andrzej Wronski
A Non-Self-Referential Paradox in Epistemic Game Theory
Invariance and Set-Theoretical Operations in First Order Structures
Tableau-based translation from first-order logic to modal logic
Every Free Biresiduated Lattice is Semisimple
A cut-free proof system for a predicate extension of the logic of provability
A semantical analysis of cut-free calculi for modal logics
Axiomatization of the Logic Determined by some Finite Relational Systems
Note of the Full Generalized Models of the Extensions of a Logic
Komori Identities in Algebraic Logic
Free Boolean Correlations Lattices
Locally ordered topological spaces
Gentzen-style Calculi for Quasi-identities of Finite Algebras
The Variety of Residuated Lattices is Generated by its Finite Simple Members
On the Finite Embeddability Property for Residuated Lattices, Pocrims and BCK-algebras
On everywhere strongly logifiable algebras
A Categorical Approach to Higher-level Introduction and Elimination Rules
On the complexsity of some substructural logics
Simplified Affine Phase Structures 32
On some properties of quasi MV algebras and square root quasi MV algebras. Part III
On Generalized I-Algebras and 4-valued Modal Algebras
Continuous reducibility: functions versus relations
Interpolation and Three-valued Logics
A General Extension Theorem for Directed-Complete Partial Orders
Lattice of Substitutions
Instantiation overflow
Spanning Graphs and the Axiom of Choice
Hilbert algebras with a necessity modal operator
The Variety of Semi-Heyting Algebras Satisfying the equation (0 → 1) * v (0 → 1) ** ≈ 1
On the Asymptotic Density of Tautologies in Logic of Implication and Negation
The Uniqueness of the Decomposition of Distributive Lattices into Sums of Boolean Lattices
On the variety of Heyting algebras with successor generated by all finite chains
Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero
On some homomorphism-homogeneous point-line geometries
Perfect Hilbert algebras
Finite Distributive Lattices as Sums of Boolean Algebras
PBZ*-lattices: Structure theory and subvarieties
Unification in some substructural logics of BL-algebras and hoops
Fully Adequate Gentzen Systems and the Deduction Theorem
Unifying some notions of infinity in ZC and ZF
Discriminator varieties of double-Heyting algebras
String Rewriting and Proof Complexity: an interpretation of Resolution
The Bottom of the Lattice of BCK-varieties
Simplified Affine Phase Structures
Classes of Markov-like k-ALGORITHMS
On the First Order Logic True in Every Universe (Including the Empty Universe)
Almost minimal varieties related to fuzzy logic
The complexity of problems connected with two-element algebras
A Short Note on Hoops and Continuous {t}-norms
Proof Theory for Finitely Valid Sentences
Peritopological Spaces and Bisimulations
CAAL: Categorical Abstract Algebraic Logic: Coordinatization is Algebraization
Induction Schemata Valid in Kripke Models of Arithmetical Theories
Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic
An Algebraic Characterization of Thomason's System Delta
Definability in infinitary languages and invariance by automorphims
Secrecy Logic: Protoalgebraic S-Secrecy Logics
Property S
Complexity of cover-preserving embeddings of bipartite orders into Boolean lattices
Minimal Negation in the Ternary Relational Semantics
Pierce Sheaf and The Duality of Lukasiewicz-Moisil Algebras
Canonical extensions and completions of posets and lattices
Quasivarieties of Equivalential Algebras
Display Logic and Gaggle Theory
The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice
A Remark on the Maximal Extensions of the Relevant Logic R
Residuation in Commutative Ordered Monoids with Minimal Zero
Some fragments of second-order logic over the reals for which satisability and equivalence are (un)decidable
Intensional Positive Set Theory
Refutations in Wansing's Logic
On the Logic Determined by some Finite Relational Systems
Finite embeddability property for residuated groupoids
A simple observation regarding iterations of finite-valued polynomial-time functions
A Model Theory for the Potential Infinite
Cut-Free Systems for the Modal Logic S4.3 and S4.3Grz
A lattice of implicative extensions of regular Kleene's logics
Counting Quasivarieties of Equivalential Algebras
Categorical Abstract Algebraic Logic: Wójcicki's Conjecture and Malinowski's Theorem
Combinatorial Analytic Tableaux
Semantic Normal Form
Preface: In memory of Wim Blok
A Note on Wansing's expansion of Nelson's logic - a correction to "An axiomatization of Wansing's expansion of Nelson's logic"
Anderson and Belnap's Minimal Positive Logic with Minimal Negation
Modal Tarski Algebras
Extensions of Intuitionistic Logic without the Deduction Theorem: Some Simple Examples
An alternative intuitionistic version of Mally's deontic logic
Algebraic characterizations of variable separation properties
Corrigendum to "On Definable Completeness for Ordered Fields" RML, 54 (2019), 95-100
Meinong's Theory of Objects and Hilbert's epsilon-Symbol
Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties
n x m Lukasiewicz Algebras with Negation
Some Proof Systems for Common Knowledge Predicate
On the Completeness Theorem of Many-sorted Equational Logic and the Equivalence between Hall Algebras and Bénabou Theories
Fully Fregean Logics
Borel sets without perfectly many overlapping translations
A weak essentially undecidable theory
Relational and neighborhood semantics for intuitionistic modal logic
Axiomatic Extensions of the Milpotent Minimum Logic
Completness of relevant modal logics with disjunctive rules
Strong Cut-elimination in Display Logic