On the public citation graph

Bases of Admissible Rules of Lukasiewicz Logic

https://doi.org/10.1093/logcom/exp082
0 signed · 60 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11753728_33openalex-snapshot
Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
inferredcites →https://doi.org/10.1007/978-3-642-86518-3openalex-snapshot
Einführung in die operative Logik und Mathematik
inferredcites →https://doi.org/10.1007/bf02259858openalex-snapshot
Decidable modal logic with undecidable admissibility problem
inferredcites →https://doi.org/10.1007/s00153-006-0028-9openalex-snapshot
Complexity of admissible rules
inferredcites →https://doi.org/10.1007/s00153-006-0320-8openalex-snapshot
On the rules of intermediate logics
inferredcites →https://doi.org/10.1016/s0049-237x(07)x8002-9openalex-snapshot
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
inferredcites →https://doi.org/10.1016/s0049-237x(97)x8001-2openalex-snapshot
Admissibility of Logical Inference Rules
inferredcites →https://doi.org/10.1016/s0168-0072(99)00032-9openalex-snapshot
Best solving modal equations
inferredcites →https://doi.org/10.1090/s0002-9947-1959-0122718-1openalex-snapshot
A new proof of the completeness of the Łukasiewicz axioms
inferredcites →https://doi.org/10.1093/jigpal/jzn014openalex-snapshot
Structural Completeness in Substructural Logics
inferredcites →https://doi.org/10.1093/logcom/exi025openalex-snapshot
Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
inferredcites →https://doi.org/10.1093/logcom/exi029openalex-snapshot
Admissible Rules of Modal Logics
inferredcites →https://doi.org/10.1093/logcom/exp078openalex-snapshot
Admissible Rules of Lukasiewicz Logic
inferredcites →https://doi.org/10.1145/1380572.1380574openalex-snapshot
Undecidability of the unification and admissibility problems for modal and description logics
inferredcites →https://doi.org/10.1215/00294527-2009-004openalex-snapshot
Structural Completeness in Fuzzy Logics
inferredcites →https://doi.org/10.1305/ndjfl/1107220674openalex-snapshot
Intermediate Logics and Visser's Rules
inferredcites →https://doi.org/10.2178/jsl/1129642119openalex-snapshot
Logical consecutions in discrete linear temporal logic
inferredcites →https://doi.org/10.2307/2219541openalex-snapshot
Multiple Conclusion Logic.
inferredcites →https://doi.org/10.2307/2268660openalex-snapshot
A theorem about infinite-valued sentential logic
inferredcites →https://doi.org/10.2307/2271891openalex-snapshot
One hundred and two problems in mathematical logic
inferredcites →https://doi.org/10.2307/2586506openalex-snapshot
Unification in intuitionistic logic
inferredcites →https://doi.org/10.2307/2694922openalex-snapshot
On the admissible rules of intuitionistic propositional logic

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-319-30406-9_9openalex-snapshot
The Logic of Perfect Algebras
inferred← citeshttps://doi.org/10.1007/978-3-642-15390-7_23openalex-snapshot
Reasoning and Inference Rules in Basic Linear Temporal Logic $\mathcal{BLTL}$
inferred← citeshttps://doi.org/10.1007/978-3-642-30870-3_49openalex-snapshot
Unifiability and Admissibility in Finite Algebras
inferred← citeshttps://doi.org/10.1007/978-3-642-31485-8openalex-snapshot
Lectures on Logic and Computation
inferred← citeshttps://doi.org/10.1007/978-3-642-31485-8_1openalex-snapshot
Proof Complexity of Non-classical Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-32621-9_4openalex-snapshot
Admissible Rules: From Characterizations to Applications
inferred← citeshttps://doi.org/10.1007/s00153-014-0388-5openalex-snapshot
Admissibility and refutation: some characterisations of intermediate logics
inferred← citeshttps://doi.org/10.1007/s00500-012-0839-zopenalex-snapshot
Admissibility in De Morgan algebras
inferred← citeshttps://doi.org/10.1007/s10992-015-9354-xopenalex-snapshot
On Rules
inferred← citeshttps://doi.org/10.1007/s11225-022-10012-7openalex-snapshot
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality
inferred← citeshttps://doi.org/10.1007/s11787-014-0110-8openalex-snapshot
Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility
inferred← citeshttps://doi.org/10.1016/j.apal.2011.06.026openalex-snapshot
Finite axiomatizability in Łukasiewicz logic
inferred← citeshttps://doi.org/10.1016/j.apal.2012.10.001openalex-snapshot
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
inferred← citeshttps://doi.org/10.1016/j.apal.2013.01.001openalex-snapshot
Unification and admissible rules for paraconsistent minimal Johanssonsʼ logic J and positive intuitionistic logic IPC+
inferred← citeshttps://doi.org/10.1016/j.apal.2022.103233openalex-snapshot
Admissible rules for six intuitionistic modal logics
inferred← citeshttps://doi.org/10.1016/j.apal.2024.103526openalex-snapshot
Universal proof theory: Feasible admissibility in intuitionistic modal logics
inferred← citeshttps://doi.org/10.1016/j.fss.2014.07.011openalex-snapshot
Least V-quasivarieties of MV-algebras
inferred← citeshttps://doi.org/10.1016/j.fss.2016.09.010openalex-snapshot
Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
inferred← citeshttps://doi.org/10.1016/j.jpaa.2015.02.015openalex-snapshot
Admissibility via natural dualities
inferred← citeshttps://doi.org/10.1016/j.jpaa.2019.106228openalex-snapshot
Sugihara algebras: Admissibility algebras via the test spaces method
inferred← citeshttps://doi.org/10.1017/s1755020316000241openalex-snapshot
PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS
inferred← citeshttps://doi.org/10.1093/jigpal/jzae118openalex-snapshot
Structurally complete finitary extensions of positive Łukasiewicz logic
inferred← citeshttps://doi.org/10.1093/logcom/exad007openalex-snapshot
The polyhedral geometry of Wajsberg hoops
inferred← citeshttps://doi.org/10.1093/logcom/exp078openalex-snapshot
Admissible Rules of Lukasiewicz Logic
inferred← citeshttps://doi.org/10.1093/logcom/exq020openalex-snapshot
Linear Temporal Logic LTL: Basis for Admissible Rules
inferred← citeshttps://doi.org/10.1093/logcom/exs007openalex-snapshot
The complexity of admissible rules of Lukasiewicz logic
inferred← citeshttps://doi.org/10.1093/logcom/ext031openalex-snapshot
An Avron rule for fragments of R-mingle
inferred← citeshttps://doi.org/10.1093/logcom/ext055openalex-snapshot
Blending margins: the modal logic K has nullary unification type
inferred← citeshttps://doi.org/10.1215/00294527-2022-0021openalex-snapshot
Structural Completeness in Many-Valued Logics with Rational Constants
inferred← citeshttps://doi.org/10.1215/00294527-3838972openalex-snapshot
The Admissible Rules of BD2 and GSc
inferred← citeshttps://doi.org/10.1515/forum-2011-0131openalex-snapshot
Simplicial geometry of unital lattice-ordered abelian groups
inferred← citeshttps://doi.org/10.17516/1997-1397-2022-15-1-114-124openalex-snapshot
Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
inferred← citeshttps://doi.org/10.2168/lmcs-11(3:23)2015openalex-snapshot
Exact Unification and Admissibility
inferred← citeshttps://doi.org/10.2168/lmcs-9(2:9)2013openalex-snapshot
Admissibility in Finitely Generated Quasivarieties
inferred← citeshttps://doi.org/10.33540/1486openalex-snapshot
Uniform Interpolation and Admissible Rules
inferred← citeshttps://doi.org/10.48550/arxiv.1406.2783openalex-snapshot
Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility
inferred← citeshttps://doi.org/10.48550/arxiv.1501.06141openalex-snapshot
Admissibility via Natural Dualities
inferred← citeshttps://doi.org/10.48550/arxiv.1512.03637openalex-snapshot
A note on bases of admissible rules of proper axiomatic extensions of Lukasiewicz logic
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.