V. Michele Abrusci

24 papers B 1C 1Journal 18Unranked 3
YearRankTypeTitle / Venue / Authors
2019 J jnl
Proof nets for multiplicative cyclic linear logic and Lambek calculus.
Math. Struct. Comput. Sci.
V. Michele Abrusci, Roberto Maieli
2017 J jnl
A Geometrical Representation of the Basic Laws of Categorial Grammar.
Stud Logica
V. Michele Abrusci, Claudia Casadio
2017 J jnl
Hilbert's tau and epsilon in Proof Theoretical Foundations of Mathematics: An Introduction.
FLAP
V. Michele Abrusci
2016 J jnl
Analytic and synthetic in logic.
Log. J. IGPL
V. Michele Abrusci
2014 J jnl
Formal Ontologies and Coherent Spaces.
J. Appl. Log.
V. Michele Abrusci, Christophe Fouqueré, Marco Romano
2014 — conf
On Residuation.
Categories and Types in Logic, Language, and Physics
V. Michele Abrusci
2013 J jnl
Some proof theoretical remarks on quantification in ordinary language
CoRR
V. Michele Abrusci, Christian Retoré
2013 J jnl
Universal vs. particular reasoning: a study with neuroimaging techniques.
Log. J. IGPL
V. Michele Abrusci, Claudia Casadio, M. Teresa Medaglia, Camillo Porcaro
2011 — ch.
Ontologies and Coherence Spaces.
PRELUDE Project
V. Michele Abrusci, Marco Romano, Christophe Fouqueré
2009 C conf
Knowledge Representation through Coherence Spaces - A Theoretical Framework for the Integration of Knowledge Representations.
KEOD
V. Michele Abrusci, Marco Romano, Christophe Fouqueré
2003 B conf
Non Commutative Logic: A Survey.
TABLEAUX
V. Michele Abrusci
2003 J jnl
Towards a semantics of proofs for non-commutative logic: multiplicatives and additives.
Theor. Comput. Sci.
V. Michele Abrusci
2002 J jnl
Classical Conservative Extensions of Lambek Calculus.
Stud Logica
V. Michele Abrusci
1999 — conf
Modules in Non-communicative Logic.
TLCA
V. Michele Abrusci
1999 J jnl
Non-Commutative Logic I: The Multiplicative Fragment.
Ann. Pure Appl. Log.
V. Michele Abrusci, Paul Ruet
1999 J jnl
Tree Adjoining Grammars in a Fragment of the Lambek Calculus.
Comput. Linguistics
V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
1998 J jnl
A New Correctness Criterion for Cyclic Proof Nets.
J. Log. Lang. Inf.
V. Michele Abrusci, Elena Maringelli
1996 — conf
Tree Adjoining Grammars in Noncommutative Linear Logic.
LACL
V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
1991 J jnl
Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic.
J. Symb. Log.
V. Michele Abrusci
1990 J jnl
A comparison between lambek syntactic calculus and intuitionistic linear propositional logic.
Math. Log. Q.
V. Michele Abrusci
1990 J jnl
Non-commutative intuitionistic linear logic.
Math. Log. Q.
V. Michele Abrusci
1990 J jnl
Some Uses of Dilators in Combinatorial Problems, II.
J. Symb. Log.
V. Michele Abrusci, Jean-Yves Girard, Jacques Van de Wiele
1989 J jnl
A Logic of Recursion
Inf. Comput.
V. Michele Abrusci, Gianfranco Mascari
1989 J jnl
Some uses of dilators in combinatorial problems - Part III. Independence results by means of decreasing
Arch. Math. Log.
V. Michele Abrusci
redb/extractors/decompiler/bninja/pyproject.toml
← Index redb/extractors/decompiler/bninja/pyproject.toml ini 
[project]
name = "bninja"
version = "0.1.0"
requires-python = ">= 3.12"
dependencies = []

[tool.ruff]
line-length = 88
target-version = "py312"
exclude = [
    "_archive"
]
# Enable or disable some rules
[tool.ruff.lint]
select = [
    # pycodestyle
    "E",
    # Pyflakes
    "F",
    # pyupgrade
    "UP",
    # flake8-bugbear
    "B",
    # flake8-simplify
    "SIM",
    # isort
    "I",
]
ignore = ["E501"]

[tool.ruff.format]
quote-style = "double"
indent-style = "space"